Computational algebraic geometry and commutative algebra - Eisenbud, David; Robbiano, Lorenzo (Cambridge University Press, 1993)