R.D. Jenks, and R.S. Sutor. AXIOM, the Scientific Computation System. Springer-Verlag, 1992.
Axiom Release 2.0 Companion Guide, The Numerical Algorithms Group Limited, Oxford, March 1995.
S.M. Watt, P.A. Broadbery, S.S. Dooley, P. Iglio, S.C. Morrison, J.M. Steinbach, R.S. Sutor, IBM Thomas J. Watson Research Center. AXIOM Library Compiler, User Guide, The Numerical Algorithms Group Limited, Oxford, November 1994.
User Manual, DERIVE, A Mathematical Assistant for Your Personal Computer, Version 2. Soft Warehouse, Inc., Honululu, 1990.
Albert Rich, Joan Rich, Theresa Shelby and David Stoutemyer. User Manual DERIVE Version 3: A Mathematical Assistant for Your Personal Computer, Soft Warehouse, Inc., September 1994.
Macsyma Mathematics and System Reference Manual, 15th edition, Macsyma Inc., 1995
Macsyma User's Guide: A Tutorial Introduction, Second Edition, Macsyma Inc., 1995.
K. M. Heal, M. L. Hansen and K. M. Rickard, Maple V Learning Guide, Springer-Verlag, 1996.
M. B. Monagan, K. O. Geddes, K. M. Heal, G. Labahn and S. M. Vorkoetter, Maple V Programming Guide, Springer-Verlag, 1996.
Darren Redfern, The Maple Handbook: Maple V Release 4, Springer-Verlag, 1996.
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.
S. Wolfram. The Mathematica Book, Third Edition, Mathematica Verison 3, Wolfram Media/Cambridge University Press, 1996.
A.C. Hearn and J.P. Fitch (ed.), REDUCE User's Manual 3.6, RAND Publication CP78 (Rev. 7/95), Rand, Santa Monica, CA, 1995.