TERLOUW, J. Proof-theoretical analyses of transfinite recursion and inductive definitions. Bewijstheoretische analyses van transfiniete recursie en inductieve definities. (Met een samenvatting in het Nederlands). Utrecht, Np, 1986.