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