Sequential monotonicity for restarting automata Tomasz Jurdziński and Friedrich Otto RAIRO-Theor. Inf. Appl., 41 2 (2007) 157-175 Published online: 18 July 2007 DOI: 10.1051/ita:2007013