@inbook{BonsangueRotRutten,
    title = {Coalgebraic Bisimulation-Up-To},
    isbn = {9783642358432},
    issn = {1611-3349},
    url = {http://dx.doi.org/10.1007/978-3-642-35843-2_32},
    doi = {10.1007/978-3-642-35843-2_32},
    booktitle = {SOFSEM 2013: Theory and Practice of Computer Science},
    publisher = {Springer Berlin Heidelberg},
    author = {Rot, Jurriaan and Bonsangue, Marcello and Rutten, Jan},
    year = {2013},
    pages = {369--381},
    date-added = {2025-11-21 21:6:10 +0100}
}

@inbook{BonsangueRotRutten, title = {Coalgebraic Bisimulation-Up-To}, isbn = {9783642358432}, issn = {1611-3349}, url = {http://dx.doi.org/10.1007/978-3-642-35843-2_32}, doi = {10.1007/978-3-642-35843-2_32}, booktitle = {SOFSEM 2013: Theory and Practice of Computer Science}, publisher = {Springer Berlin Heidelberg}, author = {Rot, Jurriaan and Bonsangue, Marcello and Rutten, Jan}, year = {2013}, pages = {369--381}, date-added = {2025-11-21 21:6:10 +0100} }