Petr Kurka Regular Unimodal Systems and Factors of Finite Automata. 49-64 1994 133 Theor. Comput. Sci. 1 db/journals/tcs/tcs133.html#Kurka94