1. P. Aczel, M. Rathjen, Notes on Constructive Set Theory, Report No. 40, Institut Mittag–Leffler, Royal Swedish Academy of Sciences, 2001.
2. A. Bauer, Realizability as the connection between computable and constructive mathematics, Proceedings of CCA 2005, Kyoto, Japan, 25–29 August 2005; to appear.
3. E.A. Bishop, D.S. Bridges, Constructive Analysis, Grundlehren der math. Wissenschaften, vol. 279, Springer, Berlin, 1985.
4. General Topology;Bourbaki,1989
5. D.S. Bridges, F. Richman, Varieties of Constructive Mathematics, London Mathematical Society Lecture Notes 97, Cambridge University Press, Cambridge, 1987.