Παραπομπή σε μορφή APA (7η εκδ.)

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

Παραπομπή σε μορφή Chicago (17η εκδ.)

Cook, B., D. Kroening, και N. Sharygina. Accurate Theorem Proving for Program Verification. Springer, 2006.

Παραπομπή σε μορφή MLA (9th εκδ.)

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