A first course in computational algebraic geometry - Decker, W. (AIMS library series., 2013)