1. Aczel, P., Rathjen, M.: Notes on constructive set theory. Technical Report 40, Institut Mittag-Leffler, The Royal Swedish Academy of Sciences (2001)
2. Lecture Notes in Computer Science;J. Berger,2005
3. Bishop, E.: Foundations of Constructive Analysis. McGraw-Hill, New York (1967)
4. Bishop, E., Bridges, D.: Constructive Analysis. In: Grundlehren der mathematischen Wissenschaften, vol. 279. Springer, Heidelberg (1985)
5. London Mathematical Society Lecture Note Series;D. Bridges,1987