Fundamental concepts of programming systems - Ullman, Jeffrey D. (Addison-Wesley Publishing, 1976)