1. P. Aczel, M. Rathjen, Notes on Constructive Set Theory, Report No. 40, Institut Mittag–Leffler, Royal Swedish Academy of Sciences, 2001.
2. Constructive methods in the theory of Banach algebras;Bishop,1966
3. E. Bishop, A constructivization of abstract mathematical analysis, in: Proc. Inter. Congress Math., Moscow, 1966.
4. Foundations of Constructive Analysis;Bishop,1967
5. E. Bishop, D. Bridges, Constructive Analysis, Grundlehren der math. Wissenschaften, Springer, Heidelberg, vol. 279, 1985.