Stephen J. Westfold Lawrence Markosian William A. Brew Knowledge-Based Software Development from Requirements to Code. 62-80 1986 conf/adaEurope/1986 System Development and Ada db/conf/adaEurope/crai1986.html#WestfoldMB86