Progress in commutative algebra 1