Co-induction in relational semantics (1991)

by R Milner, M Tofte
Venue:Theor. Comp. Sci