@inproceedings{SVA,
  title = "{SVA, a tool for analysing shared-variable programms}",
  author = "A. W. Roscoe and David Hopkins",
  year = "2007",
  booktitle = "{Proceedings of AVoCS 2007}",
  note = "to appear",
  pages = "177--183",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/119.pdf",
}