The engineering of knowledge-based systems : theory and practice - Gonzalez, Avelino J. (Prentice Hall, 1993)