Validation, verification and tests of knowledge-based systems /
Ayel, Marc.
Laurent, Jean-Pierre.
Chichester : John Wiley & Sons,
c1991.