@misc{indiciae40c98eed5ffb,
  title = {Data reification in a concurrent rely-guarantee algebra},
  author = {Larissa A. Meinicke and Ian J. Hayes and Cliff B. Jones},
  year = {2024},
  url = {https://arxiv.org/abs/2405.05546},
  note = {Source identifier: 2405.05546}
}