Cita APA (7a ed.)

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

Cita Chicago Style (17a ed.)

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

Cita MLA (9a ed.)

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