Computaional algebraic geometry - Eysette,F (Birkhauser, 1993)