Common LISP: A Gentle Introduction to Symbolic Computation Dover