References and Information Sources
[Smith 91]
Smith, Douglas R. "KIDS-A Knowledge-Based Software Development System," 483-514.
Automating Software Design
. Menlo Park, CA: AAAI Press, 1991.