On the origins of bisimulation and coinduction

Davide Sangiorgi
2009 ACM Transactions on Programming Languages and Systems  
doi:10.1145/1516507.1516510 fatcat:m5uvypq4xnbqxclecr3eadpwsu