A coinduction principle for recursive data types based on bisimulation (1996)

by Marcelo P Fiore
Venue:Conference version: Proc. 8th Annual IEEE Symp. on Logic in Computer Science (LICS