APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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