-S. A Greibach: Theory of Program Structures: Schemes, Semantics, Verification, Springer-Verlag 1975