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