AComprehensive guide to AI and expert system - Levine, Robert I. (New York McGraw-Hill, 1987)