Systematic introduction to expert systems knowledge representations and problem-solving methods - Puppe, Frank (Springer-Verlag, 1993)