Bisimulation can’t be traced. (1995)

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