Interactive programming environments - Editors David R. Barstow, Howard E. Shrobe, Erik Sandewall (McGraw-Hill Book Company, 1986)