Non-well-founded sets, CSLILectureNotes14, Center for the Study of Languages and Information (1988)

by P Aczel