M. P. Fiore, G. L. Cattani, og G. Winskel, “Weak Bisimulation and Open Maps”, BRICS, bd. 6, nr. 14, jan. 1999.