Fernau, Stiebe, 2002. Sequential grammars and automata with valences 276.. https://doi.org/10.1016/s0304-3975(01)00282-1