Cita APA

Manna, Z., & Waldinger, R. (1993). The deductive foundations of computer programming: A one-volume version of "The logical basis for computer programming". Addison-Wesley.

Citación estilo Chicago

Manna, Zohar., and Richard Waldinger. The Deductive Foundations of Computer Programming: A One-volume Version of "The Logical Basis for Computer Programming". Reading, Mass.: Addison-Wesley, 1993.

Cita MLA

Manna, Zohar., and Richard Waldinger. The Deductive Foundations of Computer Programming: A One-volume Version of "The Logical Basis for Computer Programming". Reading, Mass.: Addison-Wesley, 1993.