Aceto, Luca, Willem Jan Fokkink, Anna Ingólfsdóttir, og Bas Luttik. “CCS With Hennessy’s Merge Has No Finite Equational Axiomatization”. BRICS Report Series 10, no. 34 (november 6, 2003). Set oktober 14, 2026. https://tidsskrift.dk/brics/article/view/21802.