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