1. Atiyah, M. F., and I. G. Macdonald, Introduction to Commutative Algebra, (1969), Addison-Wesley, Reading, Massachusetts.
2. Becker, E., Sums of Squares and Trace forms in Real Algebraic Geometry, Cahiers du Séminaire d’Histoire des Mathématiques, 2ème série Vol 1 (1991), Université Pierre et Marie Curie.
3. Becker, E., Wörmann T., On the trace formula for quadratic forms and some applications, to appear in Proceedings of the Special Year in Real Algebraic Geometry and Quadratic Forms, University of Berkeley.
4. Ben-Or M., Kozen D., Reif J., The complexity of elementary algebra and geometry, J. of Computation and Systems 32 (1986), 251–264.
5. Buchberger, B., Gröbner: An algorithmic method in polynomial ideal theory, in Multidimensional Systems Theory, chapter 6, (1985), N. K. Bose Ed., D. Reidel.