Gian Luca Cattani Glynn Winskel Profunctors, open maps and bisimulation. 553-614 2005 15 Mathematical Structures in Computer Science 3 http://dx.doi.org/10.1017/S0960129505004718 db/journals/mscs/mscs15.html#CattaniW05