1. Jenks R., Sutor R.: axiom — The Scientific Computation System, Springer, 1992.
2. Geddes K.O., Labahn G., Czapor S.R.: Algorithms for Computer Algebra Kluwer, 1991.
3. Gonnet G.H.: Determining Equivalence of Expressions in Random Polynomial Time. it Proceedings of the 16th ACM Symposium on the Theory of Computing (1984) 334–341
4. Gonnet G.H.: New Results for Random Determination of Equivalence of Expressions. Proceedings of the 1986 Symposium on Symbolic and Algebraic Computation (1986) 127–131
5. Freeman T., Imirzian G., Kaltofen, E.: DAGWOOD: A System for Manipulating Polynomials Given by Straight-Line Programs. Proceedings of the 1986 Symposium on Symbolic and Algebraic Computation (1986) 169–175