Sassone, V.; Sobocinski, P. Deriving Bisimulation Congruences: 2-Categories Vs. Precategories. BRICS 2003, 10.