Bard Bloom Sorin Istrail Albert R. Meyer Bisimulation Can't be Traced. 232-268 1995 42 J. ACM 1 db/journals/jacm/jacm42.html#BloomIM95 http://doi.acm.org/10.1145/200836.200876