Sassone, V. and Sobocinski, P. (2003) “Deriving Bisimulation Congruences: 2-Categories vs. Precategories”, BRICS Report Series, 10(1). doi: 10.7146/brics.v10i1.21772.