Raphael M. Robinson The Theory of Classes a Modification of Von Neumann's System. 29-36 1937 2 J. Symb. Log. 1 db/journals/jsyml/jsyml2.html#Robinson37