Introduction to expert systems - Jackson, Peter (Reading Addison-Wesley, 2000)