Style de citation APA (7e éd.)
Bradley, A. R., & Manna, Z. (2007). The Calculus of Computation: Decision Procedures with Applications to Verification. Springer Verlag.
Style de citation Chicago (17e éd.)
Bradley, Aaron R., et Zohar Manna. The Calculus of Computation: Decision Procedures with Applications to Verification. Berlin: Springer Verlag, 2007.
Style de citation MLA (9e éd.)
Bradley, Aaron R., et Zohar Manna. The Calculus of Computation: Decision Procedures with Applications to Verification. Springer Verlag, 2007.
Attention : ces citations peuvent ne pas être correctes à 100%.