Introduction to expert systems - Jackson, Peter (Addison Wesley Longman, 1999)