Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies - Buchholz, W. (New York: Springer, 1981)