"Introduction to the Theory of Programming Languages" - читать интересную книгу автора (Gilles Dowek, Jean-Jacques Lévy)