G. L. Cattani and G. Winskel, “Profunctors, Open Maps and Bisimulation”, BRICS, vol. 11, no. 22, Oct. 2004.