@misc{indiciae07602dfcf5ed,
  title = {Deriving Laws for Developing Concurrent Programs in a Rely-Guarantee Style},
  author = {Ian J. Hayes and Larissa A. Meinicke and Patrick A. Meiring},
  year = {2023},
  url = {https://arxiv.org/abs/2103.15292},
  note = {Source identifier: 2103.15292}
}