APA aipamena

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

Chicago Style aipamena

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

MLA aipamena

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