Interactive programming environments - Barstow, David R.; Shrobe, Howard E.; Sandewall, Erik (McGraw-Hill, 1984)