BRADLEY, Aaron R und MANNA, Zohar, 2007. The Calculus of Computation : Decision Procedures with Applications to Verification. 1 st ed. 2007. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540741138.
Elsevier - Harvard (with titles)Bradley, A.R., Manna, Z., 2007. The Calculus of Computation : Decision Procedures with Applications to Verification, 1 st ed. 2007. ed. Springer Berlin Heidelberg, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74113-8
American Psychological Association 7th editionBradley, A. R., & Manna, Z. (ca. 2007). The Calculus of Computation : Decision Procedures with Applications to Verification (1 st ed. 2007) [Cd]. Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-74113-8
Springer - Basic (author-date)Bradley AR, Manna Z (2007) The Calculus of Computation : Decision Procedures with Applications to Verification, 1 st ed. 2007. Springer Berlin Heidelberg, Berlin, Heidelberg
Juristische Zitierweise (Stüber) (Deutsch)Bradley, Aaron R/ Manna, Zohar, The Calculus of Computation : Decision Procedures with Applications to Verification, 1 st ed. 2007 , Berlin, Heidelberg 2007.