"Concepts in Programming Languages" - читать интересную книгу автора (John C. Mitchell, Krzysztof Apt)