Gennadi Sardanashvily, 19 May 2016 The fundamental book: H.Lombardi, C.Quitté, "Commutative algebra: Constructive methods. Finite projective modules" http://arxiv.o…