M. Hulden, “Rewrite rule grammars with multitape automata”, JLM, vol. 5, no. 1, pp. 107–130, Jul. 2017.