Non-well-founded Sets
Peter Aczel; Jon (FRW) Barwise
Centre for the Study of Language Information
1988
pokkari