توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)

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

توثيق أسلوب شيكاغو (الطبعة السابعة عشر)

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

توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)

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