Style de citation APA (7e éd.)

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

Style de citation Chicago (17e éd.)

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

Style de citation MLA (9e éd.)

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