by Bard Bloom, Sorin Istrail, Albert R. Meyer
Reference:
Bard Bloom, Sorin Istrail, Albert R. Meyer, "Bisimulation can't be traced", In Journal of the ACM, vol. 42, no. 1, pp. 232-268, 1995.
Bibtex Entry:
@ARTICLE{Bloom1995,
author = {Bloom, Bard and Istrail, Sorin and Meyer, Albert R.},
title = {Bisimulation can't be traced},
journal = {Journal of the ACM},
year = {1995},
volume = {42},
pages = {232--268},
number = {1},
owner = {Derek},
timestamp = {2012.05.08},
url = {http://www.brown.edu/Research/Istrail_Lab/papers/p232-bloom.pdf},
category = {Theory of Computation}
}