1. W. Ackermann, Konstruktiver Aufbau eines Abschnitts der zweiter Cantorschen Zahlenklasse, Math. Zeit. 53 (1951), 403–413.
2. S. Banach, Theóries des Opérations Lineares, Chealsea Publ. Co., N.Y. (1955).
3. E. Bishop, Foundations of Constructive Analysis, McGraw-Hill Book Co., N.Y. (1967).
4. E. Bishop, Mathematics as a numerical language, Intuitionism and Proof Theory, edited by J. Myhill, A. Kino and R. E. Vesley, North-Holland Publ. Co., Amsterdam (1970), 53–71.
5. D. S. Bridges, Constructive Functional Analysis, Pitman, London (1979).