Cattani, Gian Luca, and Glynn Winskel. “Profunctors, Open Maps and Bisimulation”. BRICS Report Series 11, no. 22 (October 11, 2004). Accessed April 24, 2024. https://tidsskrift.dk/brics/article/view/21847.