The theory of transfinite recursion, Bulletin of the American Mathematical Society 67 (1961)

by M Machover
Venue:Elementary Induction on Abstract structures, Studies in Logic series