Fiore, M. P., Cattani, G. L. and Winskel, G. (1999) “Weak Bisimulation and Open Maps”, BRICS Report Series, 6(14). doi: 10.7146/brics.v6i14.20071.