Aceto, Luca, and Anna Ingólfsdóttir. 1995. “On the Finitary Bisimulation”. BRICS Report Series 2 (59). https://doi.org/10.7146/brics.v2i59.19960.