Computational commutative algebra 1 - Kreuzer, Martin (Springer, 2000)