@inproceedings{WhatCanYouDecide,
  title = "What can you Decide about Resetable Arrays?",
  author = "A. W. Roscoe and R. S. Lazic",
  year = "2001",
  booktitle = "{Proceedings of VCL 2001}",
  url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/81.ps",
}