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