V. Sassone and P. Sobocinski, “Deriving Bisimulation Congruences: 2-Categories vs. Precategories”, BRICS, vol. 10, no. 1, Jan. 2003.