G. L. Cattani, J. Power, og G. Winskel, “A Categorical Axiomatics for Bisimulation”, BRICS, bd. 5, nr. 22, jan. 1998.