APA Edition Citation

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

Chicago Edition Citation

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

MLA Edition Citation

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

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