APA (7e ed.) Bronvermelding

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

Chicago (17e ed.) Bronvermelding

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

MLA (9e ed.) Bronvermelding

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