1. BAYER D.A. "The division algorithm and the Hilbert scheme" Ph. D. Thesis, Harward (1982).
2. BUCHBERGER B. "Some properties of Gröbner bases for polynomial ideals" A.C.M. SIGSAM Bull. 10–4, 19–24 (1976).
3. JOHNSON J. "Prolungations of integral domins" J. of Algebra vol. 94, 173–210 (1985).
4. GALLIGO A. "Some algorithmic questions on ideals of differential operators", Proc. Burocal 1985 II, Lecture Notes in Computer Science, 204 (1985), p.413–421.
5. KANDRI-RODY A., WEISPFENNING V. "Non commutative Gröbner bases in Algebras of solvable type", (1986) to appear in Journal of Symbolic in Computation.