Commutative algebra : constructive methods : finite projective modules /: constructive methods : finite projective modules. (2015)