"Foundations for Programming Languages (Foundations of Computing)" - читать интересную книгу автора (John C. Mitchell)