De Nicola, Rocco and Hennessy, Matthew  CCS without tau's.   In:  TAPSOFT '87, Vol.1.   Lecture Notes in Computer Science, 249 .  Springer, pp. 138-152.  ISBN 3-540-17660-8      (1987)