1. P. Balbiani, V. Dugat, L. Fariñas del Cerro and A. Lopez. Eléments de géométrie mécanique. Hermès, Paris, France, 1994.
2. L. Bachmair. Canonical Equational Proofs. Birkhaüser, Boston, Massachusetts, 1991.
3. A. Bockmayr. Conditional rewriting and narrowing as a theoretical framework for logic-functional programming. Technical report 10/86, Institut für Informatik, Universität Karlsruhe, 1986.
4. B. Buchberger. Gröbner bases: an algorithmic method in polynomial ideal theory. In N. Bose editor: Recent Trends in Multidimensional Systems Theory. Reidel, Dordrecht, Netherlands, 1985.
5. J.-P. Colette. Histoire des mathématiques. Editions du renouveau pédagogique, Ottawa, Canada, 1979.