APA (7 वां संस्करण) प्रशस्ति पत्र

Cook, B., Kroening, D., & Sharygina, N. (2006). Accurate Theorem Proving for Program Verification. Springer.

शिकागो शैली (17वां संस्करण) प्रशस्ति पत्र

Cook, B., D. Kroening, और N. Sharygina. Accurate Theorem Proving for Program Verification. Springer, 2006.

एमएलए (9वां संस्करण) प्रशस्ति पत्र

Cook, B., et al. Accurate Theorem Proving for Program Verification. Springer, 2006.