Warning - the bibtex entry below may be invalid: 
Missing 'chapter' or 'pages' field 
@inbook{specificationOfAParallelSystem,
  author = "A. W. Roscoe and S. Kiyamura",
  booktitle = "Correct Models of Parallel Computing",
  editor = "S. Noguchi and M. Ota",
  publisher = "{IOS Press}",
  title = "{A Case Study of the Formal Specification of a Parallel System using CSP}",
  year = "1997",
}