1. C. J. Ash J. Knight Computable Structures and the Hyperarithmetical Hierarchy (Elsevier Science, 2000).
2. H. Friedman Subsystems of set theory and analysis. Ph. D. thesis, Massachusetts Institute of Techonlogy, 1967.
3. Proof of Mostowski's conjecture;Gandy;Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys.,1960
4. Recursive pseudo-well-orderings;Harrison;Trans. Amer. Math. Soc.,1968
5. P. Jullien Contribution à l'étude des types d'ordre dispersés. Ph. D. thesis, Marseille, 1969.