Non-well-founded sets. Center for the Study of Language and Information (1988)

by Peter Aczel