Automating software design - Lowry, Michael R. (Michael Randolph), 1955-; McCartney, Robert D. (AAAI Press ; MIT Press, 1991)