Bonchi F, Bonsangue M, Rutten J, Silva A.? 2009.??Deriving Syntax and axioms for quantitative regular behaviours. Proceedings of the 20th International Conference on Concurrency Theory (CONCUR 2009). 5710:146?162.