1. J.F.Ritt, Differential equations from the algebraic standpoint, Amer. Math. Soc., (1932).
2. J.F.Ritt, Differential algebra, Amer. Math. Soc., (1950).
3. Wu Wen-tsun, On the mechanization of theorem-proving in elementary differential geometry, Scientia Sinica, Math. Supplement (I), 94–102 (1979).
4. Wu Wen-tsun, Mechanical theorem proving in elementary geometry and differential geometry, in Proc. 1980 Beijing DD-Symposium, Beijing, V.2, 1073–1092 (1982).