G. L. Cattani, J. Power, and G. Winskel, “A Categorical Axiomatics for Bisimulation”, BRICS, vol. 5, no. 22, Jan. 1998.