Computational aspects of commutative algebra - Robbiano, Lorenzo. (Academic Press, 1989)