1. Bayer, D. and Stillman, M.: 1983, 1990, Macaula y: A system for computation in algebraic geometry and commutative algebra., Manual, source and object code for Unix and Macintosh computers available via anonymous ftp from zariski . harvard. edu.
2. Char, B.W. et al.: 1985, 1988, M.A PLE Reference Manual., Watcom Publ.: Waterloo, Canada.
3. Heintz, J.: 1983, ‘Definability and Fast Quantifier Ehmninationn in Algebraic Closed Fields’ Theoretical Computer Science 24, 239–277.
4. Jenks, R.D. and Sutor, R.S.: 1992, Axiom, The Scientific Computation System, SpringerVerlag: New York.
5. Lazard, D.; 1992, ‘Stewart Platforms and Gröbner Basis’, in Parenti-Castelli, V. and Lenarčič, J., eds, 3rd International Workshop on A1dvances in Robot Kinematic (3.A RK, Ferrare, Italy), V. Parenti-Castelli: Ferrare, 136–142.