Interactive programming environments - Barstow, David R.; Sandewall, Erik; Shrobe, Howard E. (McGraw-Hill computer science series, 1987)