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