1. Baroni, M. A. (2005). Constructive suprema. Journal of Universal Computer Science, 11, 1865–1877.
2. Bridges, D. (1999). Constructive mathematics: A foundation for computable analysis. Theoretical Computer Science, 219, 95–109.
3. Brouwer, L. E. J. (1919). Begründung der Mengenlehre unabhängig vom logischen Satz vom ausgeschlossenen Dritten. Zweiter Teil: Theorie der Punktmengen. Koninklijke Akademie van Wetenschappen te Amsterdam. Verhandelingen (Eerste Sectie), 7, 1–33.
4. Brouwer, L. E. J. (1923). Intuïitionistische splitsing van mathematische grondbegrippen. Koninklijke Akademie van Wetenschappen te Amsterdam, Verslagen, 32, 877–880.
5. Brouwer, L. E. J. (1925). Intuitionistische Zerlegung mathematischer Grundbegriffe. Jahresbericht der Deutschen Mathematiker-Vereinigung, 33, 251–256.