Joyal, A., Nielsen, M. and Winskel, G. (1994) “Bisimulation from Open Maps”, BRICS Report Series, 1(7). doi: 10.7146/brics.v1i7.21663.