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