Cattani, G. L., Power, J., & Winskel, G. (1998). A Categorical Axiomatics for Bisimulation. BRICS Report Series, 5(22). https://doi.org/10.7146/brics.v5i22.19428