1. Feferman, S.: Systems of predicative analysis. J. Symb. Log. 29, 1–30 (1964)
2. Feferman, S.: Some applications of forcing and generic sets. Fundam. Math. 56, 325–345 (1964a)
3. Feferman, S.: Predicative provability in set theory. Bull. Am. Math. Soc. 72, 486–489 (1966)
4. Feferman, S.: (With Wilfried Buchholz, Wolfram Pohlers, and Wilfried Sieg.) Iterated Inductive Definitions and Subsysems of Analysis. Lecture Notes in Mathematics, vol. 897. Springer, Berlin (1981)
5. Feferman, S.: Hilbert’s program relativized: Proof-theoretical and foundational reductions. J. Symb. Log. 53, 364–384 (1988)