Aceto, L.; Ingólfsdóttir, A. A Characterization of Finitary Bisimulation. BRICS 1997, 4.