Aceto, L., & Ingólfsdóttir, A. (1995). On the Finitary Bisimulation. BRICS Report Series, 2(59). https://doi.org/10.7146/brics.v2i59.19960