Petr Jancar Frantisek Mráz Martin Plátek Jörg Vogel Monotonicity of Restarting Automata. 355-371 2007 12 Journal of Automata, Languages and Combinatorics 3 db/journals/jalc/jalc12.html#JancarMPV07