1. Barwise, K. J., Admissible Sets and Structures, to appear in Springer Verlag series “Perspectives in Mathematical Logic”.
2. Ehrenfeucht, A., and G. Kreisel, Strong Models of Arithmetic, Bull. de l'Acad. Polonaise des Sciences, XV (1966) pp. 107–110.
3. Gandy, R. O., G. Kreisel, and Tait, W., Set existence, Bull. Acad. Polon. Ser. Sci. Math. Astron. Phys., 8 (1960) pp. 577–582.
4. Moschovakis, Y., Predicative classes, Axiomatic set Theory, Part I, Amer. Math. Soc., (1971) pp. 247–264.
5. Moschovakis, Y., Elementary Induction on Abstract Structures, North Holland Publ. Amsterdam (1974).