A final coalgebra theorem (1989)

by P Aczel, N Mendler
Venue:In Category Theory and Computer Science (CTCS ‘89), volume 389 of LNCS