1. Brady, S. S., “Recursive topology in Euclidean space,” Ph.D. dissertation, Cornell University (1984).
2. Index sets in computable analysis;Cenzer;Theoret. Comput. Sci,1999
3. Les ensembles récursivement ouverts ou fermés, et leurs applications à l'analyse récursive;Lacombe;C. R. Acad. Sci. Paris,1957
4. Miller, J. S., “Co-c.e. classes in computable analysis and topology,” Ph.D. dissertation, Cornell University (2002).
5. “Elements of the topology of plane sets of points”;Newman,1961