1. Liebowitz, J., and Wilcox, L., 1997, Knowledge Management and Its Integrative Elements. CRC Press, New York.
2. Rushby, J., 1990, Validation and testing of Knowledge-Based Systems: how bad can it get? In (Gupta, 1990).
3. Batarekh, A., Preece, A., Bennett. A., and Grogono, P., 1996, Specifying an expert system. Expert Systems with Applications, Vol. 2(4).
4. Boehm, B., 1984, Verifying and validating software requirements and design specifications. IEEE Software, Vol. 1(1).
5. Meseguer, P. and Preece, A., 1995, Verification and Validation of Knowledge-Based Systems with Formal Specifications. Knowledge Engineering Review, Vol. 10(4).