A structural co-induction theorem, Report CSR9346 (1993)

by J J M M Rutten
Venue:Proc. 9th Conf. on the Math. Foundations of Programming Language Semantics