Sassone V, Sobocinski P. Deriving Bisimulation Congruences: 2-Categories vs. Precategories. BRICS [Internet]. 6. januar 2003 [henvist 1. september 2024];10(1). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/21772