Joyal, A.; Nielsen, M.; Winskel, G. Bisimulation from Open Maps. BRICS 1994, 1.