Manna, Z., & Waldinger, R. (1977). Studies in automatic programming logic: With contrib. by Shmuel Katz and Karl Levitt. North-Holland Publ. Co.
Chicago-Zitierstil (17. Ausg.)Manna, Zohar, und Richard Waldinger. Studies in Automatic Programming Logic: With Contrib. by Shmuel Katz and Karl Levitt. New York: North-Holland Publ. Co, 1977.
MLA-Zitierstil (9. Ausg.)Manna, Zohar, und Richard Waldinger. Studies in Automatic Programming Logic: With Contrib. by Shmuel Katz and Karl Levitt. North-Holland Publ. Co, 1977.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.