Structure and Design of Programming Languages - John E. Nicholls (Addison-Wesley Publishing, 1975)