"A Connotational Theory of Program Structure" - читать интересную книгу автора (James S. Royer)