Algorithms in Algebraic Geometry and Applications - Gonzalez - Vega, Laureano (Birkhauser, 1996)