Computational Commutative Algebra 2 - Kreuzer, Martin; Robbiano, Lorenzo (Springer Berlin Heidelberg, 2005)