1. Elementary constructive theory of Henselian local rings;Alonso;MLQ Math. Log. Q.,2008
2. Introduction to Commutative Algebra;Atiyah,1969
3. Algorithms in Real Algebraic Geometry;Basu,2006
4. Constructive Analysis;Bishop,1985
5. Varieties of Constructive Mathematics;Bridges,1987