@misc{indiciae3ed4592c3887,
  title = {On the Soundness of Coroutines with Snapshots},
  author = {Aleksandar Prokopec and Fengyun Liu},
  year = {2018},
  url = {https://arxiv.org/abs/1806.01405},
  note = {Source identifier: 1806.01405}
}