Bernardo, Marco and De Nicola, Rocco and Loreti, Michele  Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes.  Logical Methods in Computer Science, 10 (1).  pp. 1-42.  ISSN 1860-5974      (2014)