Parikh's Theorem Made Symbolic - Hague, Matthew (arXiv.org)