Commutative algebra: constructive methods : finite projective modules / Henri Lombardi ; Claude Quitté. Dordrecht [u.a.] : Springer, 2015