Co-induction in relational semantics, Theoretical Computer Science 87 (1991)

by R Milner, M Tofte