1. Baroni, M. A. (2005). Constructive suprema. Journal of Universal Computer Science, 11, 1865–1877.
2. Bishop, E., & Bridges, D. S. (1985). Constructive Analysis. Berlin: Springer.
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ïtionistische splitsing van mathematische grondbegrippen. Koninklijke Akademie van Wetenschappen te Amsterdam. Verslagen, 32, 877–880. English translation by W. P. van Stigt (1998), Intuitionist splitting of the fundamental notions of mathematics, in P. Mancosu (ed.) From Brouwer to Hilbert. The Debate on the Foundations of Mathematics in the 1920s (pp. 286–289), Oxford: Oxford University Press.
5. Ciraulo, F. (2013). Intuitionistic overlap structures. Logic and Logical Philosophy, 22, 201–212.