Cita APA (7a ed.)

Manna, Z., & Waldinger, R. (1993). The deductive foundations of computer programming. Addison-Wesley.

Cita Chicago Style (17a ed.)

Manna, Zohar, y Richard Waldinger. The Deductive Foundations of Computer Programming. Reading, Mass.: Addison-Wesley, 1993.

Cita MLA (8a ed.)

Manna, Zohar, y Richard Waldinger. The Deductive Foundations of Computer Programming. Addison-Wesley, 1993.