1. Barwise, J.: Admissible Sets and Structures. Springer, Berlin, Heidelberg, New York (1975).
2. Feferman, S.: Formal theories for transfinite iterations of generalized inductive definitions and some subsystems of analysis. Intuitionism and Proof Theory. North Holland, Amsterdam (1970).
3. Feferman, S.: Predicatively reducible systems of set theory. Set Theory II. Amer. Math. Soc., Providence, R.I. (1974).
4. Friedman, H.: Set theoretic foundations for constructive analysis. Annals of Mathematics (1977).
5. Jäger, G.: Beweistheoretische Untersuchung eines Teilsystems der Mengenlehre. Diplomarbeit, München (1977).