R. Zippel. Effective Polynomial Computation. Kluwer Academic Publishers, Boston, 1993.
M. Mignotte. Mathematics for Computer Algebra. Springer-Verlag, Berlin, 1992.
F. Winkler. Polynomial Algorithms in Computer Algebra. Springer-Verlag, Berlin, 1996. ISBN 3-211-82759-5
A. Miola, M. Temperini (eds.). Advances in the Design of SC Systems. Springer-Verlag, Berlin, 1996.
W. Ellis, and E. Lodi. Derive for the Calculus Student: A Tutorial. Brooks/Cole, Pacific Grove, 1991.
D.C. Arney. Exploring Calculus with DERIVE. Addison-Wesley, 1992.
Richard Pavelle, editor. Applications of Computer Algebra, Kluwer Academic Publishers, 1985.
Barbara Heller. Macsyma for Statisticians. John Wiley and Sons, 1991.
Chiang C. Mei. Mathematical Analysis in Engineering. Cambridge University Press, 1994.
A. Heck. Introduction to Maple. Springer-Verlag, Berlin 1993.
D. Redfern. Maple Handbook. Springer-Verlag, Berlin 1993.
R. Maeder. Programming in Mathematica. Addison-Wesley, Redwood City, CA, 1990.
R.E. Crandall. Mathematica for the Sciences. Addison-Wesley, Redwood City, CA, 1991.
R. Maeder. The Mathematica Programmer. Academic Press Professional, 1994.
F. Brackx. Computer Algebra with LISP and REDUCE. Kluwer Academic Publishers, Boston, 1991. ISBN: 0-7923-1441-7, 300 p.
M.A.H. MacCallum, and F.J. Wright. Algebraic Computing with REDUCE, Clarendon Press, Oxford, 1991.
G. Rayna. REDUCE Software for Algebraic Computation. Springer-Verlag, Berlin, 1987.