1. Beeson, M. 1985. Foundations of constructive mathematics. Berlin: Springer.
2. Bell, J.L. 2008. The axiom of choice and the law of excluded middle in weak set theories. Mathematical Logic Quarterly 54(2): 194–201.
3. Bell, J.L. 2009. The axiom of choice. London: College Publications.
4. Feferman, S. 1975. A language and axioms for explicit mathematics. In Algebra and logic, Springer lecture notes in mathematics
450, ed. John Crossley, 87–139. Berlin: Springer.
5. Feferman, S. 1979. Constructive theories of functions and classes. In Logic colloquium ’78, eds. M. Boffa, D. van Dalen, and K. McAloon, 159–224. Amsterdam: North-Holland.