SASSONE, V.; SOBOCINSKI, P. Deriving Bisimulation Congruences: 2-Categories vs. Precategories. BRICS Report Series, [S. l.], v. 10, n. 1, 2003. DOI: 10.7146/brics.v10i1.21772. Disponível em: https://tidsskrift.dk/brics/article/view/21772. Acesso em: 3 may. 2024.