1. Ritt J F, Differential Algebra, American Mathematical Society Colloquium Publications, Vol. XXXIII, American Mathematical Society, New York, 1950.
2. Kolchin E R, Differential Algebra and Algebraic Groups, Academic Press, New York-London, 1973.
3. Cohn R M, Difference Algebra, Interscience Publishers John Wiley & Sons, New York-London-Sydeny, 1965.
4. Wu W T, On the decision problem and the mechanization of theorem-proving in elementary geometry, Sci. Sinica, 1978, 21(2): 159–172.
5. Wu W T, A constructive theory of differential algebraic geometry based on works of Ritt J F with particular applications to mechanical theorem-proving of differential geometries, Differential Geometry and Differential Equations (Shanghai, 1985), volume 1255 of Lecture Notes in Math., Springer, Berlin, 1987, 173–189.