Cattani, G. L., J. Power, og G. Winskel. “A Categorical Axiomatics for Bisimulation”. BRICS Report Series, bd. 5, nr. 22, januar 1998, doi:10.7146/brics.v5i22.19428.