A first course in computational algebraic geometry - Decker, W. (Cambridge University Press,)