Silva A, Sokolova A.? 2011.??Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems. Proceedings of the Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics (MFPS '11). 276:291??311.