1. Foundations of Constructive Mathematics;Beeson,1985
2. Constructive Analysis;Bishop,1985
3. Locatedness, convexity, and Lebesgue measurability;Bridges;Quart. J. Math. Oxford,1988
4. Varieties of Constructive Mathematics;Bridges,1987
5. Elliptic Partial Differential Equations of Second Order;Gilbarg,1977