Computer algebra with LISP and REDUCE an introduction to computer-aided pure mathematics - Brackx, F.; Constales, Denis (Kluwer Acad. Publ., 1991)