Parameterised Pushdown Systems with Non−Atomic Writes - Hague, M (2011)