Zaslat SMS: Verifying and validating personal computer-based expert systems / A. Terry Bahill.