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