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