Cheng A, Nielsen M. Open Maps, Behavioural Equivalences, and Congruences. BRICS [Internet]. 1996 Jan. 2 [cited 2024 Nov. 24];3(2). Available from: https://tidsskrift.dk/brics/article/view/19965