A final-coalgebra theorem (1989)

by P Aczel, N Mendler
Venue:In Category Theory and Computer Science, Lecture Notes In Computer Science