Srba J. On the Power of Labels in Transition Systems. BRICS [Internet]. 4. juni 2001 [henvist 6. december 2025];8(19). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/21680