A small nal coalgebra theorem, Theoret (1998)

by Y Kawahara, M Mori
Venue:Comput. Sci