Common LISP a gentle introduction to symbolic computation - Touretzky, David S. (Benjamin/Cummings, 1990)