Computer algebra with LISP and REDUCE an introduction to computer-aided pure mathematics - Brackx, F. (Kluwer Academic Publishers, 1991)