1. Berger, J., Ishihara, H., Kihara, T., & Nemoto, T. (2019). The binary expansion and the intermediate value theorem in constructive reverse mathematics. Archive for Mathematical Logic, 58, 203–217.
2. Bishop, E. (1967). Foundations of constructive analysis. New York/Toronto/London: McGraw-Hill Book Co.
3. Bishop, E., & Bridges, D. (1985). Constructive analysis (Grundlehren der Mathematischen Wissenschaften [Fundamental principles of mathematical sciences], Vol. 279). Berlin: Springer.
4. Bridges, D., & Richman, F. (1987). Varieties of constructive mathematics (London mathematical society lecture note series, Vol. 97). Cambridge: Cambridge University Press.
5. Bridges, D., & Vîţa, L. S. (2006). Techniques of constructive analysis (Universitext). New York: Springer.