@inproceedings{PolymorphicSystems,
  title = "Polymorphic systems with arrays: decidability and undecidability",
  author = "A. W. Roscoe and R. S. Lazic and T. C. Newcomb",
  year = "2003",
  booktitle = "{Proceedings of South-East Europe Workshop on Formal Methods}",
  month = "August",
  note = "Extended abstract",
  url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/90.pdf",
}