McKenzie. On the Expressiveness of Parikh Automata and Related Models. 2 July 2011.