LISP: introducción al cálculo simbólico