Computational Commutative Algebra 1 by Martin Kreuzer & Lorenzo Robbiano