Bonchi F, Bonsangue M, Caltais G, Rutten J, Silva A.? 2012.??Final semantics for decorated traces. Proceedings of the Twenty-eighth Conference on the Mathematical Foundations of Programming Semantics (MFPS 2012). 286:73?86.