@misc{indiciaec80c324b4a63,
  title = {Reversing an Imperative Concurrent Programming Language},
  author = {James Hoey and Irek Ulidowski},
  year = {2022},
  url = {https://arxiv.org/abs/2205.01171},
  note = {Source identifier: 2205.01171}
}