Vladimiro Sassone Pawel Sobocinski Deriving Bisimulation Congruences using 2-categories. 163- 2003 10 Nord. J. Comput. 2 db/journals/njc/njc10.html#SassoneS03