1. Aczel, P., Rathjen, M.: Notes on Constructive Set Theory. Report No. 40, Institut Mittag-Leffler, Royal Swedish Academy of Sciences (2001)
2. de Bruijn, N.G., van der Meiden, W.: Notes on Gelfand’s theory. Indag. Math. 29, 467–474 (1967)
3. Bridges, D.S.: Constructive Functional Analysis. Research Notes in Mathematics, vol. 28. Pitman, London (1979)
4. Grundlehren der Math. Wiss;E.A. Bishop,1985
5. Bridges, D., Richman, F., Schuster, P.: A weak countable choice principle. Proc. Amer. Math. Soc. 128, 2749–2752 (2000)