Cattani, G. L. and Winskel, G. (2004) “Profunctors, Open Maps and Bisimulation”, BRICS Report Series, 11(22). doi: 10.7146/brics.v11i22.21847.