Erik Ellentuck Nonrecursive Combinatorial Functions. 90-95 1972 37 J. Symb. Log. 1 db/journals/jsyml/jsyml37.html#Ellentuck72