Kurt Jensen
-
On the origins of bisimulation and coinduction
ACM Transactions on Programming Languages and Systems (TOPLAS)