On the Foundations of Corecursion (1997)

by L S Moss, N Danner
Venue:Logic Journal of the IGPL