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