Computational commutative algebra 2 - Kreuzer Martin; Robbiano Lorenzo (Berlin Springer-Verlag, 2005)
Keywords: Commutative algebra-data processingGrobner bases