\bibitem{CousotCousot92-4}
P.~Cousot and R.~Cousot.
\newblock Semantic analysis of communicating sequential processes.
\newblock In J{.}W{.} de Bakker and J{.} van Leeuwen editors, 
          \emph{Proceedings of Seventh International Colloquium on Automata, 
          Languages and Programming}, Noordwijerhout, The Netherlands,
          14--18 July 1980, Lecture Notes in Computer Science 85, pages 
          119--133. Springer-Verlag, Berlin, Germany, 1980.

@InProceedings{CousotCousot80-1-ICALP,
   author =       {Cousot, P{.} and Cousot, R{.}},
   title =        {Semantic analysis of communicating sequential processes},
   pages =        {119--133},
   editor =       {de Bakker, J{.}W{.} and van Leeuwen, J{.}},
   booktitle =    {Seventh International Colloquium on Automata, Languages 
                   and Programming},
   series =       {Lecture Notes in Computer Science 85}, 
   publisher =    {\Springer-Verlag, Berlin, Germany},
   month =        jul,
   year =         1980,
}