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