Fundamentals of Programming Languages - Ellis Horowitz (Springer-Verlag, 1984)