1. Adrion W.R., Branstad M.A., Cherniavsky J.C., 1982, Validation, verification and testing of computer software, ACM Computing Surveys, June, 14(2) pp. 159–192.
2. Simiński R., Wakulicz-Deja A. (1998) A., Principles and Practice in Knowledge Bases Verification, Proceedings of the IIS VII, Intelligent Information Systems, Poland, Malbork, 15–19.06.1998, pp. 203–211.
3. Simiński R. (1998), Methods and Tools for Knowledge Bases Verification and Validation, Proceedings of CAI’98 — Colloquia in Artificial Intelligence, 28–30.9.1998, Lodz, Poland.
4. Simiński R., Wakulicz-Deja A. (1998), Principles and Practice in Knowledge Bases Verification, Proceedings of IIS’98 — Intelligent Information Systems VII, 15–19.6.1998, Malbork, Poland.
5. Simiński R., Wakulicz-Deja A. (1999), Dynamic Verification Of Knowledge Bases, Proceedings of IIS’99, Intelligent Information Systems VIII, 14–18.6.1999, Ustron, Poland.