Computational commutative algebra - Kreuzer, Martin; Robbiano, Lorenzo 1944-