Computing in Algebraic Geometry - Decker, Wolfram (Springer Berlin Heidelberg, 2006)