Knowledge-Based Software Development from Requirements to Code. - Stephen J. Westfold; Lawrence Markosian; William A. Brew (System Development and Ada, 1986)