Non-Well-Founded Sets. Center for the Study of Language and Information (1988)

by Peter Aczel