Vasconcelos, Wolmer Computational methods in commutative algebra and algebraic geometry Wolmer Vasconcelos - BERLIN Springer 1998