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