Bisimulation can’t be traced (1995)

by Bard Bloom, Sorin Istrail, Albert R Meyer
Venue:Journal of the ACM