Computational commutative algebra1 - Kreuzer Martin; Robbiano Lorenzo (2000)