1. F. Boulier, 1994
2. F. Boulier, D. Lazard, F. Ollivier, M. Petitot, Proceedings of ISSAC’95, 1995
3. An algorithm method in polynomial ideal theory;Buchberger,1985
4. Some remarks on the differential dimension;Carra Ferro,1988
5. Elimination in control theory;Diop;Math. Control Signals Syst.,1991