1. Berger, J., Bridges, D.: The fan theorem and positive-valued uniformly continuous functions on compact intervals. N. Z. J. Math. 38, 129–135 (2008)
2. Berger, J., Svindland, G.: A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov’s principle. Ann. Pure Appl. Log. 167, 1161–1170 (2016)
3. Bishop, E.: Foundations of Constructive Analysis. McGraw-Hill, New York (1967)
4. Bishop, E., Bridges, D.: Constructive Analysis. Springer, Heidelberg (1985)
5. Bridges, D., Vîtă, L.S.: Techniques of Constructive Analysis, Universitext. Springer, New York (2006)