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