Studies in automatic programming logic - Manna, Zohar; Waldinger, Richard (New York : North-Holland, 1977)
Keywords: Electronic digital computers -- Programming; Computer programs