@inbook{specificationOfAParallelSystem,
  title = "{A Case Study of the Formal Specification of a Parallel System using CSP}",
  author = "A. W. Roscoe and S. Kiyamura",
  year = "1997",
  booktitle = "Correct Models of Parallel Computing",
  editor = "S. Noguchi and M. Ota",
  publisher = "{IOS Press}",
}