1. Adrion, W.R. et al., ‘Validation, verification, and testing of computer software’, ACM Computing Surveys, 14 (1982).
2. Brown, D.B., The Development of a Program Analysis Environment for Ada-Phase II (Task I)-NASA Six-month-report, Department of Computer Science and Engineering, Auburn University, December (1989).
3. Brown, D.B., The Development of a Program Analysis Environment for Ada-Phase II (Task I)-NASA Annual Report, Department of Computer Science and Engineering, Auburn University, August (1990).
4. CLIPS Reference Manual, Version 4.1, Artificial Intelligence Section, Johnson Space Center, NASA, September 1987.
5. Cross, J.H., II, Morrison, K.I., May, C.H., and Waddel, K.C., A Graphically Oriented Specification Language for Automatic Code Generation (Phase 1), NASA Annual Report, Department of Computer Science and Engineering, Auburn University, August (1989).