Interactive programming environments - Barstow, David R; Sandewall, Erik; Shrobe, Howard E (Computer science series, 1987)