Bernardo, Marco and De Nicola, Rocco and Loreti, Michele  Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes.   In:  Foundations of Software Science and Computational Structures.   Lecture Notes in Computer Science  (7213).  Springer-Verlag, pp. 195-209.  ISBN 978-3-642-28728-2      (2012)