Computational Commutative Algebra by Lorenzo Robbiano