Cheng, A.; Nielsen, M. Open Maps, Behavioural Equivalences, and Congruences. BRICS 1996, 3.