Ideals, varieties, and algorithms : an introduction to computational algebraic geometry and commutative algebra - Cox, David A. (Springer, 1997)