Commutative algebra: constructive methods : Finite Projective Modules (2015)