1. P. Aczel [1972], Stage Comparison theorems and game playing with inductive definitions, unpublished notes.
2. K. J. Barwise, R. O. Gandy and Y. N. Moschovakis [1971], The next admissible set, J. Symb. Logic 36 (1971), 108–120.
3. R. O. Gandy [1960], Proof of Mostowski's conjecture. Bull. Acad. Polon. Sci. Ser. Sci. Math. Astron. Phys. 8 (1960), 571–575.
4. T. J. Grilliot [1971], Inductive Definitions and Computability, Trans. Amer. Math. Soc. 158 (1971), 309–317.
5. L. A. Harrington, L. M. Kirousis, T. S. Schlipf [1977], A generalized Kleene-Moschovakis theorem, to appear in Proc. of Amer. Math. Soc.