APA-Zitierstil (7. Ausg.)

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

Chicago-Zitierstil (17. Ausg.)

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

MLA-Zitierstil (9. Ausg.)

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