"The Definition of Programming Languages (Cambridge Computer Science Texts)" - читать интересную книгу автора (McGettrick)