Computational Commutative Algebra 1 door Martin Kreuzer & Lorenzo Robbiano