De Nicola, Rocco A Complete Set of Axioms for a Theory of Communicating Sequential Processes. In: Foundations of Computation Theory. Lecture Notes in Computer Science, 158 . Springer, pp. 115-126. ISBN 3-540-12689-9 (1983)