APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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