"Denotational Semantics: A Methodology for Language Development" - читать интересную книгу автора (David A. Schmidt)