"The formal semantics of programming languages: an introduction" - читать интересную книгу автора (Winskel G. )