Artificial intelligence with common LISP: Fundamental of symbolic and numeric processing - Noyes, James L . (Galgolia book house, 1993)