Ideals, varieties, and algorithms. An introduction to computational algebraic geometry and commutative algebra. - Springer Verlag, 1992. - ( Undergraduate Texts in Mathematics ).