Gröbner bases, a computational Approach to Commutative Algebra (1993)

by T Becker, V Weispfennig
Venue:Graduate Texts in Mathematics