@incollection{Hoare83i,
  title = "Specification-oriented Semantics for Communicating Processes",
  author = "E.R. Olderog and C.A.R. Hoare",
  year = "1983",
  booktitle = "Automata, Languages and Programming --- Proceedings of the 10th International Colloquiumi, Barcelona July 18--22. Lecture Notes in Computer Science 154",
  editor = "J. Diaz",
  pages = "561--572",
  publisher = "Springer-Verlag",
}