Terminal coalgebras in well-founded set theory, Theoretical Computer Science 114 (1993)

by M Barr