"Knowledge-Based Software Development from Requirements to Code."

Stephen J. Westfold, Lawrence Markosian, William A. Brew (1986)
a service of Schloss Dagstuhl - Leibniz Center for Informatics