Introduction to the theory of programming language - Meyer, Bertrand (Prentice Hall, 1990)
International editions.