Computational commutative algebra I - Kreuzer, Martin (Berlin Springer, 2000)