Cattani, G. L.; Winskel, G. Profunctors, Open Maps and Bisimulation. BRICS 2004, 11.