Verifying and validating personal computer-based expert systems - Bahill, Terry (Prentice Hall, 1991)