A. Joyal, M. Nielsen, og G. Winskel, “Bisimulation from Open Maps”, BRICS, bd. 1, nr. 7, maj 1994.