H.: Gröbner bases: a computational approach to commutative algebra. Graduate texts in mathematics (1993)

by T Becker, V Weispfenning, Kredel