First course in computational algebraic geometry - Decker, Wolfram (2014)