1. Algebraic Geometry;Bump,1998
2. Constructive Krull dimension I: integral extensions;Coquand;Journal of Algebra and its Applications,2009
3. Théorie algorithmique des anneaux arithmétiques, de Prüfer et de Dedekind;Ducos;J. Algebra,2004
4. Lombardi, H., Quitté, C., Algèbre Commutative, Méthodes Constructives (forthcoming). Preliminary version available at url http://hlombardi.free.fr/publis/LivresBrochures.html.
5. A Course in Constructive Algebra;Ray,1988