Fundamentals of programming languages - Horowitz, Ellis (Computer Sicence Press, 1984)