@techreport{UnboundedNondeterminism1,
  title = "Unbounded nondeterminism in {CSP}",
  author = "A. W. Roscoe",
  year = "1988",
  institution = "{Oxford University Computing Laboratory}",
  month = "July",
  note = "in \emph{Two papers on CSP}, Also appeared in Journal of Logic and Computation, Vol 3, No 2 pp131-172 (1993)",
  number = "PRG-67",
  url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/28.ps",
}