1. Boswell, R. (1998). Knowledge Refinement for a Formulation System. PhD thesis, School of Computer and Mathematical Sciences, The Robert Gordon University.
2. Craw, S. (1996). Refinement complements verification and validation. International Journal of Human-Computer Studies, 44 (2): 245 – 256.
3. Craw and Boswell, 1999] Craw, S. and Boswell, R. (1999). Representing problem-solving for knowledge refinement. In Proceedings of the Sixteenth National Conference on Artificial Intelligence. In press.
4. Fensel, D., Motta, E., Decker, S., and Zdrahal, Z. (1997). Using ontologies for defining tasks, problem-solving methods and their mappings. In Plaza, E. and Benjamins, R., editors, Knowledge Acquisition, Modeling and Management, Proceedings of the 10th European Workshop (EKAW97), pages 113 – 128, Sant Feliu de Guixols, Spain. Springer.
5. Ginsberg, A. (1988). Automatic Refinement of Expert System Knowledge Bases. Research Notes in Artificial Intelligence. Pitman, London.