by Bard Bloom, Sorin Istrail, Albert R. Meyer
Reference:
Bard Bloom, Sorin Istrail, Albert R. Meyer, "Bisimulation can't be traced", In 15th Annual ACM Symposium on Principles of Programming Languages (POPL88), ACM Press, pp. 229-239, 1990.
Bibtex Entry:
@INPROCEEDINGS{Bloom1990,
author = {Bloom, Bard and Istrail, Sorin and Meyer, Albert R.},
title = {Bisimulation can't be traced},
booktitle = {15th Annual ACM Symposium on Principles of Programming Languages
(POPL88)},
year = {1990},
pages = {229--239},
publisher = {ACM Press},
owner = {Derek},
timestamp = {2012.05.08},
url = {http://www.brown.edu/Research/Istrail_Lab/papers/90-1150.pdf},
category = {Theory of Computation}
}