1. G.E. Collins, 1980: ALDES and SAC-2 now available. SIGSAM bull., 12(2):19.
2. G.E. Collins and R.G.K. Loos: SAC-2 system documentation. In Europe available from: R.G.K. Loos, Universität Tübingen D-7400 Tübingen, Germany. In the U.S. available from: G. E. Collins, Ohio State University, Computer Science, Columbus, OH 43210, U.S.A.
3. J.H. Davenport and J. Heintz, 1988: Real Quantifier Elimination is Doubly Exponential. J. Symbolic Computation, 5:29–35.
4. H. Hong, 1990: An Improvement of the Projection Operator in Cylindrical Algebraic Decomposition. PhD thesis, Ohio State University, Columbus.
5. D.E. Knuth, 1981: The Art of Computer Programming, Volume 2 — Seminumerical Algorithm. Addison-Wesley.