@inproceedings{Compiling,
  title = "{Compiling Shared Variable Programs into CSP}",
  author = "A. W. Roscoe",
  year = "2001",
  booktitle = "{Proceedings of PROGRESS workshop 2001}",
  url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/82.ps",
}