Verification and Validation of Rule-Based Expert Systems - Abraham Kandel; Suzanne Smith (Taylor and Francis, 1993)