@inproceedings{PolymorphicSystemsWithArrays,
  title = "Polymorphic Systems with Arrays, 2-Counter Machines and Multiset Rewriting",
  author = "A. W. Roscoe and R. S. Lazic and Tom Newcomb",
  year = "2004",
  booktitle = "{Proceedings of INFINITY 2004}",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/101.pdf",
}