APA (7th ed.) Citation

Bradley, A. R., & Manna, Z. (2007). The Calculus of Computation: Decision Procedures with Applications to Verification. Springer Berlin Heidelberg.

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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