APA Edition Citation

Bradley, A. R., & Manna , Z. (2007). Calculus of computation: Decision procedures with applications to verification. Springer.

Chicago Edition Citation

Bradley, Aaron R., and Zohar Manna. Calculus of Computation: Decision Procedures with Applications to Verification. New Delhi: Springer, 2007.

MLA Edition Citation

Bradley, Aaron R., and Zohar Manna. Calculus of Computation: Decision Procedures with Applications to Verification. Springer, 2007.

Warning: These citations may not always be 100% accurate.