Cheng, A. and Nielsen, M. (1996) “Open Maps, Behavioural Equivalences, and Congruences”, BRICS Report Series, 3(2). doi: 10.7146/brics.v3i2.19965.