I will mention, once again, the on-line versions
of documentation for the commercial macsyma. Not
everything here is relevant, and not everything that
appears to be relevant is exactly the same.
But it is here.
http://www.cs.berkeley.edu/~fateman/macsyma/docs/
there is a user guide and a reference manual,
among other documents.
All of the documents are at least a few years
old, and some of them do not have the graphic-design
quality one now expects from high-tech documents.
RJF