1. Automating coherent logic;Bezem,2005
2. Foundations of Constructive Analysis;Bishop,1967
3. Constructive Analysis;Bishop,1985
4. Varieties of Constructive Mathematics;Bridges,1987
5. Construction B, I, D et anneaux localement ou résiduellement de Jaffard;Cahen;Arch. Math.,1990