Verification and Validation of Rule-Based Expert Systems door Abraham Kandel & Suzanne Smith