Citazione Stile APA (7a Edizione)

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

Citazione stile Chigago Style (17a edizione)

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

Citatione MLA (9a ed.)

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