K. Jon Barwise Robin O. Gandy Yiannis N. Moschovakis The Next Admissible Set. 108-120 1971 36 J. Symb. Log. 1 db/journals/jsyml/jsyml36.html#BarwiseGM71