A final coalgebra theorem, Proceedings category theory and computer science (1989)

by P Aczel, N Mendler
Venue:Lecture Notes in Computer Science