(1)
Aceto, L.; Ingólfsdóttir, A. On the Finitary Bisimulation. BRICS 1995, 2.