A. Joyal, M. Nielsen, and G. Winskel, “Bisimulation from Open Maps”, BRICS, vol. 1, no. 7, May 1994.