Symbolic Computing with LISP and Prolog - Mueller, Robert A. (John Wiley & Sons, 1988)