"The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)" - читать интересную книгу автора (Glynn Winskel)