@inproceedings{protocolsInCSP,
  title = "Developing and verifying protocols in {CSP}",
  author = "A. W. Roscoe",
  year = "1993",
  booktitle = "Proceedings of {Mierlo} workshop on protocols",
  publisher = "{TU Eindhoven}",
}