APA (7th ed.) Citation

Manna, Z., & Waldinger, R. (1985). The logical basis for computer programming. Addison-Wesley.

Chicago Style (17th ed.) Citation

Manna, Zohar, and Richard Waldinger. The Logical Basis for Computer Programming. Reading, Mass: Addison-Wesley, 1985.

MLA (9th ed.) Citation

Manna, Zohar, and Richard Waldinger. The Logical Basis for Computer Programming. Addison-Wesley, 1985.