@inproceedings{H11,
  title = "Parameterised Pushdown Systems with Non-Atomic Writes",
  author = "M. Hague",
  year = "2011",
  booktitle = "FSTTCS",
  note = "To appear.",
}