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