A small final coalgebra theorem (2000)

by Yasuo Kawahara, Masao Mori
Venue:Theoretical Computer Science