Common LISP: A Gentle Introduction to Symbolic Computation - David S. Touretzky