Catalin Dima. Real-Time Automata and the Kleene Algebra of Sets of Real Numbers.
STACS 2000, 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 2000, Proceedings, 2000, Unknown, Unknown Region. pp.279--289,
⟨10.1007/3-540-46541-3_23⟩.
⟨hal-01699972⟩ 
