A. Cheng og M. Nielsen, “Open Maps, Behavioural Equivalences, and Congruences”, BRICS, bd. 3, nr. 2, jan. 1996.