Computational Commutative Algebra 2 - Kreuzer, Martin (Springer-Verlag Berlin Heidelberg, 2005)