Patricia Bouyer Antoine Petit Denis Thérien An Algebraic Characterization of Data and Timed Languages. 248-261 2001 conf/concur/2001 CONCUR http://link.springer.de/link/service/series/0558/bibs/2154/21540248.htm db/conf/concur/concur2001.html#BouyerPT01