Michaël Cadilhac Andreas Krebs Pierre McKenzie The Algebraic Theory of Parikh Automata. TR13-040 2013 TR13 Electron. Colloquium Comput. Complex. https://eccc.weizmann.ac.il/report/2013/040 db/journals/eccc/eccc20.html#CadilhacKM13