@misc{indiciae7c6ccb36d6f8,
  title = {A Framework for Concurrent Imperative Programming},
  author = {Stephan van Staden},
  year = {2012},
  url = {https://arxiv.org/abs/1209.2012},
  note = {Source identifier: 1209.2012}
}