Knowledge-based systems (Butterworth Scientific Ltd., 1987)