Frantisek Mráz, Martin Plátek, Petr Jancar, Jörg Vogel: Monotonic Rewriting Automata with a Restart Operation. SOFSEM 1997: 505-512