Aceto, Luca, and Anna Ingólfsdóttir. “On the Finitary Bisimulation”. BRICS Report Series 2, no. 59 (November 29, 1995). Accessed June 25, 2019. https://tidsskrift.dk/brics/article/view/19960.