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)