Introduction to expert systems - JACKSON (Addison Wesley, 1990)