@article{BloomIstrailMeyer:JACM:1995,
    title = {Bisimulation can’t be traced},
    volume = {42},
    issn = {1557-735X},
    url = {http://dx.doi.org/10.1145/200836.200876},
    doi = {10.1145/200836.200876},
    number = {1},
    journal = {Journal of the ACM},
    publisher = {Association for Computing Machinery (ACM)},
    author = {Bloom, Bard and Istrail, Sorin and Meyer, Albert R.},
    year = {1995},
    month = {jan},
    pages = {232--268},
    date-added = {2025-11-28 7:9:23 +0100}
}

@article{BloomIstrailMeyer:JACM:1995, title = {Bisimulation can’t be traced}, volume = {42}, issn = {1557-735X}, url = {http://dx.doi.org/10.1145/200836.200876}, doi = {10.1145/200836.200876}, number = {1}, journal = {Journal of the ACM}, publisher = {Association for Computing Machinery (ACM)}, author = {Bloom, Bard and Istrail, Sorin and Meyer, Albert R.}, year = {1995}, month = {jan}, pages = {232--268}, date-added = {2025-11-28 7:9:23 +0100} }