APA (7th ed.) Citation

Manna, Z., & Waldinger, R. 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. u.a: Addison-Wesley.

MLA (9th ed.) Citation

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

Warning: These citations may not always be 100% accurate.