Fundamentals of programming languages - Horowitz Ellis Ed. (1984)