A coinduction principle for recursive datatypes based on bisimulation (1993)

by M P Fiore
Venue:in \Proc. 8th Annual Symposium on Logic in Computer Science