A. Cheng and M. Nielsen, “Open Maps, Behavioural Equivalences, and Congruences”, BRICS, vol. 3, no. 2, Jan. 1996.