The engineering of knowledge-based systems. Theory and practice - Gonzales, Avelino J. (Prentice-Hall, 1993)