@misc{indiciaea1b2a2e55e24,
  title = {A wide-spectrum language for verification of programs on weak memory models},
  author = {Robert J. Colvin and Graeme Smith},
  year = {2018},
  doi = {10.1007/978-3-319-95582-7\_14},
  url = {https://arxiv.org/abs/1802.04406},
  note = {Source identifier: 1802.04406}
}