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