1. Sur les fonctions des variables réelies;Baire;Ann. di Mat.,1899
2. The Baire category theorem in weak subsystems of second order arithmetic;Brown;J. Symbolic Logic,1993
3. Information-theoretical characterizations of recursive infinite strings;Chaitin;Theoret. Comput. Sci.,1976
4. Π10-classes–structure and applications;Cenzer,2000
5. K. de Leeu, E. Moore, C. Shannon, N. Shapiro, Computability by probabilistic machines.