APA-Zitierstil (7. Ausg.)
Manna, Z., & Waldinger, R. (1993). The Deductive Foundations of Computer Programming: A One-Volume Version of "The Logical Basis for Computer Programming". Addison-Wesley Publishing Company.
Chicago-Zitierstil (17. Ausg.)
Manna, Zohar, und Richard Waldinger. The Deductive Foundations of Computer Programming: A One-Volume Version of "The Logical Basis for Computer Programming". Reading: Addison-Wesley Publishing Company, 1993.
MLA-Zitierstil (9. Ausg.)
Manna, Zohar, und Richard Waldinger. The Deductive Foundations of Computer Programming: A One-Volume Version of "The Logical Basis for Computer Programming". Addison-Wesley Publishing Company, 1993.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.