A final coalgebra theorem (1989)

by P Aczel, M Mendler
Venue:Lect. Notes Comp. Sci. 389