Introduction to expert systems - Jackson, Peter