1. Beeson, M.J.: Principles of continuous choice and continuity of functions in formal systems for constructive mathematics, Ann. Math. Logic 12, (1977) 249–322
2. Bishop E., Bridges, D.: Constructive Analysis, Grundlehren der math. Wissenschaften 279, Springer-Verlag, Heidelberg (1985)
3. Bridges D., Demuth, O.: On the Lebesgue measurability of continuous functions in constructive analysis, Bull. Amer. Math. Soc. 24 (2), (1991) 259–276
4. Bridges,D., Ishihara, H., Schuster, P.: Compactness and Continuity Revisited, preprint, University of Canterbury, (1999)
5. Bridges, D., Ishihara, H., Schuster, P.: Sequential Compactness in Constructive Analysis, Osterr. Akad. Wiss. Math.—Natur. Kl. Sitzungsber. II. 208 (1999) 159–163