"The Definition of Programming Languages" - читать интересную книгу автора (McGettrick A.D.)