Computational Commutative Algebra 2 by Martin Kreuzer & Lorenzo Robbiano