Peter Aczel Describing Ordinals Using Functionals of Transfinite Type. 35-47 1972 37 J. Symb. Log. 1 db/journals/jsyml/jsyml37.html#Aczel72