@techreport{AlternativeOrder,
  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 2, 5 pp557-577",
  number = "PRG-67",
  title = "An alternative order for the failures model",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/27.ps",
  year = "1988",
}