Patricia Bouyer Antoine Petit Denis Thérien An algebraic approach to data languages and timed languages. 137-162 2003 182 Inf. Comput. 2 http://dx.doi.org/10.1016/S0890-5401(03)00038-5 db/journals/iandc/iandc182.html#BouyerPT03