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