@misc{indiciaed25d66187078,
  title = {Restructuring a concurrent refinement algebra},
  author = {Ian J. Hayes and Larissa A. Meinicke and Naso Evangelou-Oost},
  year = {2024},
  url = {https://arxiv.org/abs/2405.05690},
  note = {Source identifier: 2405.05690}
}