R.D. Jenks, and R.S. Sutor. AXIOM, the Scientific Computation System. Springer-Verlag, 1992.
User Manual, DERIVE, A Mathematical Assistant for Your Personal Computer, Version 2. Soft Warehouse, Inc., Honululu, 1990.
Macsyma Mathematics Reference Manual, 14th edition, Macsyma Inc., 1993
Macsyma System Reference Manual, 14th edition, Macsyma Inc., 1993
The Macsyma User's Guide, Macsyma Inc., 1992
B.W. Char, K.O. Geddes, G.H. Gonnet, B.L. Leong, M.B. Monagan, and S.M. Watt. First Leaves: A Tutorial Introduction to Maple V. Springer-Verlag, New York, 1992.
B.W. Char, K.O. Geddes, G.H. Gonnet, B.L. Leong, M.B. Monagan, and S.M. Watt: Maple V Library Reference Manual. Springer-Verlag, New York, 1991.
B.W. Char, K.O. Geddes, G.H. Gonnet, B.L. Leong, M.B. Monagan, and S.M. Watt: Maple V Language Reference Manual. Springer-Verlag, New York, 1991.
S. Wolfram. Mathematica, A system for Doing Mathematics by Computer. Addison-Wesley, Redwood City, CA, 1991.
A.C. Hearn. REDUCE User's Manual, Version 3.5. Rand, Santa Monica, CA, 1993.