Cheng, Allan, and Mogens Nielsen. “Open Maps, Behavioural Equivalences, and Congruences”. BRICS Report Series 3, no. 2 (January 2, 1996). Accessed April 24, 2024. https://tidsskrift.dk/brics/article/view/19965.