@article{PursuitDeadlockFreedom,
  author = "A. W. Roscoe and Naiem Dathi",
  journal = "{Information and Computation}",
  month = "December",
  number = "3",
  pages = "289--327",
  title = "The pursuit of deadlock freedom",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/18.ps",
  volume = "75",
  year = "1987",
}