Axiomatic theory of hereditarily finite sets and its fragments by Štěpán Holub and Zuzana Haniková Jul 03
0000-0003-3252-4370