Introduction to the Theory of Programming Languages - Dowek, Gilles; Lévy, Jean-Jacques; Lévy, Jean-Jacques (Springer London, 2011)