A First Course in Computational Algebraic Geometry by Gerhard Pfister & Wolfram Decker