Cita APA (7th ed.)

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

Cita Chicago (17th ed.)

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

Cita MLA (9th ed.)

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