L. Aceto, W. J. Fokkink, A. Ingólfsdóttir, og B. Luttik, “Finite Equational Bases in Process Algebra: Results and Open Questions”, BRICS, bd. 12, nr. 19, jun. 2005.