1. Classifying Dini's theorem;Berger;Notre Dame J. Formal Logic,2006
2. E. Bishop D. S. Bridges Constructive Analysis (Springer, 1985).
3. D. S. Bridges F. Richman Varieties of Constructive Mathematics (Cambridge University Press, 1987).
4. L. E. J. Brouwer Begründung der Funktionenlehre unabhängig vom logischen Satz vom ausgeschlossenen Dritten. Verhandelungen Koninklijke Akad. von Wetenschappen 13 , no. 2, (1923).
5. Beweis, dass jede volle Funktion gleichmässig stetig ist;Brouwer;Proceedings of the Koninklijke Akademie von Wetenschappen,1924