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