1. M. Aben. Formal Methods in Knowledge Engineering. PhD thesis, University of Amsterdam, Amsterdam, 1995.
2. volume A-27 of IFIP Transactions;J. Angele,1993
3. C. Bauer and W. Karbach, editors. Proceedings Second KADS User Meeting, ZFE BT SE 21, Otto-Hahn Ring 6, D-8000 Munich 83, 17–18 February 1992. Siemens AG.
4. V. R. Benjamins. Problem Solving Methods for Diagnosis. PhD thesis, SWI, University of Amsterdam, Amsterdam, The Netherlands, June 1993.
5. V. R. Benjamins. Problem-solving methods for diagnosis and their role in knowledge acquisition. International Journal of Expert Systems: Research and Applications, 8(2):93–120, 1995.