Theory of Program Structures: Schemes, Semantics, Verification - Sheila A. Greibach