APA-Zitierstil (7. Ausg.)
Bradley, A. R., & Manna, Z. (2007). The Calculus of Computation: Decision Procedures with Applications to Verification. Springer Verlag.
Chicago-Zitierstil (17. Ausg.)
Bradley, Aaron R., und Zohar Manna. The Calculus of Computation: Decision Procedures with Applications to Verification. Berlin: Springer Verlag, 2007.
MLA-Zitierstil (9. Ausg.)
Bradley, Aaron R., und Zohar Manna. The Calculus of Computation: Decision Procedures with Applications to Verification. Springer Verlag, 2007.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.