@incollection{eprints394,
       publisher = {Springer},
          series = {Lecture Notes in Computer Science},
           pages = {115--126},
          author = {Rocco De Nicola},
          volume = {158},
           title = {A Complete Set of Axioms for a Theory of Communicating Sequential Processes},
          editor = {Marek Karpinski},
            year = {1983},
       booktitle = {Foundations of Computation Theory},
             url = {http://eprints.imtlucca.it/394/}
}