LISP : introduccion al calculo simbolico - Touretzky, David S. (Díaz de Santos, 1986)