"Theory of program structures: schemes, semantics, verification" - читать интересную книгу автора (Sheila A. Greibach)