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