A Case Study of Co-induction in (1995)

by J Frost