Zohar Manna, R. W. (1990). Logical Basis for Computer Programming (2.). Addison-Wesley Publishing.
Chicago Edition CitationZohar Manna, Richard Waldinger. Logical Basis for Computer Programming. 2. Addison-Wesley Publishing, 1990.
MLA Edition CitationZohar Manna, Richard Waldinger. Logical Basis for Computer Programming. 2. Addison-Wesley Publishing, 1990.
Warning: These citations may not always be 100% accurate.