[1]
L. Aceto and A. Ingólfsdóttir, “On the Finitary Bisimulation”, BRICS, vol. 2, no. 59, Nov. 1995.