Cytowanie według stylu APA (wyd. 7)

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

Cytowanie według stylu Chicago (wyd. 17)

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

Cytowanie według stylu MLA (wyd. 9)

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