"Mathematical Foundations of Programming Language Semantics, 3 conf." - читать интересную книгу автора