@article{Sangiorgi_2009,
    title = {On the origins of bisimulation and coinduction},
    volume = {31},
    issn = {1558-4593},
    url = {http://dx.doi.org/10.1145/1516507.1516510},
    doi = {10.1145/1516507.1516510},
    number = {4},
    journal = {ACM Transactions on Programming Languages and Systems},
    publisher = {Association for Computing Machinery (ACM)},
    author = {Sangiorgi, Davide},
    year = {2009},
    month = {may},
    pages = {1–41},
    date-added = {2026-3-19 18:0:12 +0100}
}

@article{Sangiorgi_2009, title = {On the origins of bisimulation and coinduction}, volume = {31}, issn = {1558-4593}, url = {http://dx.doi.org/10.1145/1516507.1516510}, doi = {10.1145/1516507.1516510}, number = {4}, journal = {ACM Transactions on Programming Languages and Systems}, publisher = {Association for Computing Machinery (ACM)}, author = {Sangiorgi, Davide}, year = {2009}, month = {may}, pages = {1–41}, date-added = {2026-3-19 18:0:12 +0100} }