"Semantics of Data Types 1984" - читать интересную книгу автора