Aceto, L.; Ésik, Z.; Ingólfsdóttir, A. A Fully Equational Proof of Parikh’s Theorem. BRICS 2001, 8.