@techreport{UnboundedNondeterminism1,
  author = "A. W. Roscoe",
  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",
  title = "Unbounded nondeterminism in {CSP}",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/28.ps",
  year = "1988",
}