Aceto L, Fokkink WJ, Ingólfsdóttir A, Luttik B. Finite Equational Bases in Process Algebra: Results and Open Questions. BRICS [Internet]. 11. juni 2005 [henvist 5. december 2025];12(19). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/21885