@inproceedings{UnboundedNondeterminism2,
  author = "A. W. Roscoe and G.Barrett",
  booktitle = "Proceedings of MFPS89",
  number = "298",
  publisher = "Springer",
  series = "LNCS",
  title = "Unbounded nondeterminism in {CSP}",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/29.pdf",
  year = "1989",
}