Fundamentals concepts of programming systems - Ullman Jeffrey D (California Addison-Wesley, 1976)