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