ON DETERMINISTIC CD-SYSTEMS OF RESTARTING AUTOMATA. - Messerschmidt, Hartmut; Otto, Friedrich (International Journal of Foundations of Computer Science, 2009)