Daniel Ferrand, « Les modules projectifs de type fini sur un anneau de polynômes sur un corps sont libres », Séminaire Bourbaki, vol. 18, no 484, , p. 202-221 (lire en ligne)
projecteuclid.org
(en) Hyman Bass, « Big projective modules are free », Illinois J. Math., vol. 7, no 1, , p. 24-3, Corollary 4.5 (lire en ligne)