"Denotational Semantics" - читать интересную книгу автора