LISP a gentle introduction to symbolic computation - Touretzky, David S. (Harper & Row, 1984)