@incollection{goldsmith2005operational,
  title = "Operational semantics for fun and profit",
  author = "Goldsmith, Michael",
  year = "2005",
  booktitle = "Communicating Sequential Processes. The First 25 Years",
  pages = "265--274",
  publisher = "Springer Berlin/Heidelberg",
}