Cattani, Gian Luca, John Power, and Glynn Winskel. 1998. “A Categorical Axiomatics for Bisimulation”. BRICS Report Series 5 (22). https://doi.org/10.7146/brics.v5i22.19428.