Validation, Verification and Test of Knowledge-Based Systems - Ayel, M; Laurent, J-P (Wiley, 1991)
eds.