1. Bishop, E. (1967). Foundations of constructive mathematics (xiii+370pp). New York/Toronto/ Ont.-London: McGraw-Hill.
2. Borel, E. (1908). Les “Paradoxes” de la théorie des ensembles. Ann. Sci. Ecole Norm Sup, 25, 443–338.
3. Bridges, D.S. (1999). Constructive mathematics: a foundation for computable analysis. Theoretical Computer Science, 219, 95–109.
4. Brouwer, L. (1918). Begründung der Mengenlehre unabhängig vom logish‘chen Satz vom ausgeschlossenen Dritten. Ester Teil. Verh. Nederl. Akad. Wetensch. Afd. Natuurk., Sct. I, 12(5), 3–43.
5. Coquand, Th., & Lombardi, H. (2006). A logical approach to abstract algebra. Mathematical Structures in Computer Science, 16(5), 885–900.