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