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