"Introduction to the Theory of Programming Languages" - читать интересную книгу автора (Bertrand Meyer)