Sequential monotonicity for restarting automataTomasz Jurdziński and Friedrich OttoRAIRO-Theor. Inf. Appl., 41 2 (2007) 157-175DOI: https://doi.org/10.1051/ita:2007013