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