Verification and validation of rule-based expert systems - Smith, Suzanne 1953- (CRC Press, 1993)