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