1. Coquand, T.: A refinement of Forster’s theorem. Technical report (2007)
2. Progress in Mathematics;A Facchini,2019
3. Lombardi, H.: Dimension de Krull. Nullstellensätze et Évaluation dynamique. Math. Zeitschrift 242, 23–46 (2002)
4. Lombardi, H., Quitté, C.: Algèbre commutative. Méthodes constructives. Modules projectifs de type fini. Cours et exercices, Calvage et Mounet (2011)
5. Rosenberg, J.: Algebraic K-theory and its applications. In: Graduate Texts in Mathematics, vol. 147, p 392. Springer-Verlag, New York (1994). https://doi.org/10.1007/978-1-4612-4314-4