1. Jensen, R., Karp, C.: Primitive recursive set functions. In: Scott, D. (ed.): Axiomatic set theory. I. Proc. Symp. Pure Mathematics, Vol. XIII, pp. 143–176. Providence, RI 1970.
2. Parsons, C.: On a number theoretic choice schema and its relation to induction. In: Kino, A., Vesley, R. (eds.): Intuitionism and proof theory, pp. 459–473. Amsterdam: North-Holland 1970.
3. Minc, G.: Exact estimates of the provability of transfinite induction in the initial segments of arithmetic. Zap. Nauch. Semin. Leningr. Otd. mat.20, 134–144 (1971).
4. Schwichtenberg, H.: Eine Klassifikation der ε0-rekursiven Funktionen. Z. Math. Logik und Grundl. Math.17, 61–74 (1971).
5. Parsons, C.: Onn-quantifier induction. J. Symb. Logic37, 466–482 (1972).