@misc{indiciaeadcb2752751e,
  title = {Reversing Parallel Programs with Blocks and Procedures},
  author = {James Hoey and Irek Ulidowski and Shoji Yuen},
  year = {2018},
  doi = {10.4204/eptcs.276.7},
  url = {https://arxiv.org/abs/1808.08651},
  note = {Source identifier: 1808.08651}
}