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

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

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