Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo  Partial ordering derivations for CCS.   In:  Fundamentals of Computation Theory (FCT 1985).   Lecture Notes in Computer Science, 199 .  Springer, pp. 520-533.  ISBN 3-540-15689-5      (1985)