Cita APA (7a ed.)
Manna, Z., & Waldinger, R. The Deductive foundations of computer programming. Addison-Wesley.
Cita estilo Chicago (17a ed.)
Manna, Zohar, y Richard Waldinger. The Deductive Foundations of Computer Programming. Reading, EUA: Addison-Wesley.
Cita MLA (9a ed.)
Manna, Zohar, y Richard Waldinger. The Deductive Foundations of Computer Programming. Addison-Wesley.
Opozorilo: Ti citati niso vedno 100% točni.