Computer Algebra, Second Edition: Systems and Algorithms for Algebraic Computation by J. H. Davenport, Y. Siret, Evelyne Tournier |
Recursive Programming Techniques (The Systems programming series) by William H. Burge (Oct 1975) |
Axiom Volume 1: Tutorial. Documentation is freely availible from: http://www.axiom-developer.org/axiom-website/documentation.html |