Theory of Program Structures: Schemes, Semantics, Verification - Greibach, Sheila A. (Verfasser) (Lecture Notes in Computer Science, 1975)