@inproceedings{SpecifyingProblemOne,
  author = "A. W. Roscoe",
  booktitle = "{The Analysis of Concurrent Systems}",
  editor = "B.T. Denvir et al",
  number = "207",
  pages = "103--109",
  publisher = "Springer",
  series = "{LNCS}",
  title = "Specifying problem one using the failures model for {CSP} and deriving {CSP} processes which meet this specification",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/14.pdf",
  year = "1985",
}