TY - RPRT TI - A Framework for Concurrent Imperative Programming AU - Stephan van Staden PY - 2012 UR - https://arxiv.org/abs/1209.2012 ID - 1209.2012 ER -