1. BARWISE, J. Infinitary logic and admissible sets, J. Symb. Logic 34, 1969, 226–252.
2. BISHOP, E. Foundations of Constructive Analysis, McGraw-Hill, New York, 1967.
3. Mathematics as a Numerical Language, in Intuitionism and proof theory (eds. Kino, Myhill, Vesley), North-Holland, Amsterdam, 1970.
4. BISHOP, E. and H. CHANG Constructive measure theory, Memoirs A.M.S. no. 116, 1972.
5. BOREL, E. (et al) Cinq lettres sur la théorie des ensembles, repr. in Leçons sur la théorie des fonctions, 2nd ed., Gauthier-Villars, Paris, 1914, 150–160.