Ideals, varieties, and algorithms an introduction to computational algebraic geometry and commutative algebra - Cox, David A.; Little, John B.; O'Shea, Donal 1952- (Springer, 2008)