Truemper, Klaus Design of Logic-Based Intelligent Sysytems - New Jersey John Wiley & Sons, Inc. 2006 - 352 P. ISBN: 9789812532176