Common LISP: a gentle introduction to symbolic computation
Touretzky: ?lisp? – A Gentle Introduction To Symbo Lic Computation (pr Only)