L. Aceto, Z. Ésik, and A. Ingólfsdóttir, “A Fully Equational Proof of Parikh’s Theorem”, BRICS, vol. 8, no. 28, Jun. 2001.