Hereditarily finite sets and identity trees
scientific article; zbMATH DE number 3799666