De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke  On a Uniform Framework for the Definition of Stochastic Process Languages.   In:  Formal Methods for Industrial Critical Systems (FMICS 2009).   Lecture Notes in Computer Science, 5825 .  Springer, pp. 9-25.  ISBN 978-3-642-04569-1      (2009)