A final coalgebra theorem. (1989)

by P Aczel, N Mendler
Venue:In Proc. CTCS,