@inproceedings{ConfluenceThanks,
  title = "Confluence thanks to extensional determinism",
  author = "A. W. Roscoe",
  year = "2005",
  booktitle = "{Proceedings of Bertinoro meeting on Concurrency, BRICS 2005}",
  month = "May",
  note = "{Revised version, publication reference ENTCS 1336, 2006}",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/107.pdf",
}