1. Technical Report;DS Arnon,1981
2. Brown WS, Traub JF: On Euclid's algorithm and the theory of subresultants, J. Assoc. Comp. Mach., 18, 4 (1971), pp 505–514.
3. Collins GE: Quantifier elimination for real closed fields by cylindrical algebraic decomposition, in Second Gl Conference on Automata Theory and Formal Languages, vol. 33 of Lecture Notes in Computer Science, Springer-Verlag, Berlin. 1975, pp 134–183.
4. Collins GE: Quantifier elimination for real closed fields by cylindrical algebraic decomposition — a synopsis, SIGSAM Bulletin of the ACM 10, 1 (1976), pp 10–12.
5. Marden M: Geometry of polynomials, (second edn.). American Mathematical Society, Providence, 1966.