Fundamentals of programming languages - Horowitz, Ellis (Springer-Verlag, 1984)