Cook, B., Kroening, D., & Sharygina, N. (2006). Accurate Theorem Proving for Program Verification. Springer.
Lua i Stíl Chicago (17ú heag.)Cook, B., D. Kroening, agus N. Sharygina. Accurate Theorem Proving for Program Verification. Springer, 2006.
Lua MLA (9ú heag.)Cook, B., et al. Accurate Theorem Proving for Program Verification. Springer, 2006.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.