The Structure and design of programming languages - Nicholls, John E. (Addison-Wesley, 1975)