Computational commutative algebra 1 - Kreuzer, Martin.; Robbiano, Lorenzo. (Springer, 2000)