ACETO, L.; INGÓLFSDÓTTIR, A. On the Finitary Bisimulation. BRICS Report Series, v. 2, n. 59, 29 Nov. 1995.