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