Non-Well-Founded Sets, volume 14 of CLSI Lecture Notes (1988)

by Peter Aczel