L. Aceto og A. Ingólfsdóttir, “A Characterization of Finitary Bisimulation”, BRICS, bd. 4, nr. 26, jan. 1997.