Sassone, Vladimiro, and Pawel Sobocinski. 2003. “Deriving Bisimulation Congruences: 2-Categories Vs. Precategories”. BRICS Report Series 10 (1). https://doi.org/10.7146/brics.v10i1.21772.