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