Theory of program structures : schemes, semantics verification - Greibach, Sheife A. (Lecture Notes in Computer Science, 1975)