@inbook{ClassicalMindChapter,
  title = "Model-checking {CSP}",
  author = "{A. W. Roscoe}",
  year = "1994",
  booktitle = "{A Classical Mind: essays in Honour of C.A.R. Hoare}",
  chapter = "21",
  publisher = "{Prentice-Hall}",
  url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/50.ps",
}