G. L. Cattani og G. Winskel, “Profunctors, Open Maps and Bisimulation”, BRICS, bd. 11, nr. 22, okt. 2004.