A final coalgebra theorem (1989)

by P Aczel, P F Mendler
Venue:Proc. of CTCS’89, volume 389 of LNCS