Fundamental concepts of programming systems - Ullman, Jeffrey D. (Jeffrey David), 1942- (Addison-Wesley series in computer science and information processing, 1976)