Bruno Buchberger: A critical-pair completion algorithm for finitely
generated ideals in rings. Springer LN CS 171 (1983), 137-161.

21902 Wolfgang Herfort: Gröbner bases. Internet 2004, 19p.
Gröbner bases on commutative noetherian Rings.

A. Kandri-Roy/Deepak Kapur: An algorithm for computing the Gro''bner
basis of a polynomial ideal over an euclidean ring.
Technical Information Series General Electric Schenectady 1984.

A. Kandri-Roy/Deepak Kapur: Computing a Gro''bner basis of a polynomial
ideal over an euclidean domain. J. Symbolic Comp. 6 (1988), 37-57.

18881 Yves Rouchaleau/Bostwick Wyman/R. Kalman: Algebraic structure
of linear dynamical systems III. Realization theory over a commutative
ring. Proc. Nat. Ac. Sci. USA 69/11 (1972), 3404-3406.

Sabine Stifter: Compuation of Gro''bner bases over the integers
and in general reduction rings. Diplomarbeit Linz 1985.

Volker Weispfenning: Gro''bner basis for polynomial ideals over
commutative regular rings. Springer LN CS 378 (1987), 336-347.