@inproceedings{WithoutReset,
  title = "On Model Checking Data-independent Systems with Arrays without Reset",
  author = "A. W. Roscoe and R. S. Lazic and T. C. Newcomb",
  year = "2001",
  booktitle = "{Proceedings of VCL 2001}",
  url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/80.ps",
}