"Foundations of Object-Oriented Languages: Types and Semantics" - читать интересную книгу автора (Kim B. Bruce)