Maurice Boffa Sets Equipollent to their Power Set in NF. 149-150 1975 40 J. Symb. Log. 2 db/journals/jsyml/jsyml40.html#Boffa75