APA (7th ed.) Citation

Manna, Z., & Waldinger, R. (1977). Studies in automatic programming logic. North-Holland.

Chicago Style (17th ed.) Citation

Manna, Zohar, and Richard Waldinger. Studies in Automatic Programming Logic. New York: North-Holland, 1977.

MLA (8th ed.) Citation

Manna, Zohar, and Richard Waldinger. Studies in Automatic Programming Logic. North-Holland, 1977.

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