Patricia Bouyer Antoine Petit A Kleene/Büchi-like Theorem for Clock Languages. 167-186 2002 7 Journal of Automata, Languages and Combinatorics 2 db/journals/jalc/jalc7.html#BouyerP02