@inproceedings{MachineVerifiableResponsiveness,
  title = "Machine-Verifiable Responsiveness",
  author = "A. W. Roscoe and J. N Reed and J. E Sinclair",
  year = "2005",
  booktitle = "{Proceedings of AVOCS 2005}",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/109.pdf",
}