L. Aceto and A. Ingólfsdóttir, “A Characterization of Finitary Bisimulation”, BRICS, vol. 4, no. 26, Jan. 1997.