"Complementary Definitions of Programming Language Semantics" - читать интересную книгу автора