Introduction to the theory of programming languages - Dowek, Gilles (Undergraduate Topics in Computer Science,, 2011)