Computer Algebra with LISP and REDUCE: An Introduction to Computer-aided Pure Mathematics (Mathematics and Its Applications (closed))