Cattani, G. L.; Power, J.; Winskel, G. A Categorical Axiomatics for Bisimulation. BRICS 1998, 5.