@misc{indiciaea5f5c9a4d541,
  title = {New Lace and Arsenic: adventures in weak memory with a program logic},
  author = {Richard Bornat and Jade Alglave and Matthew Parkinson},
  year = {2016},
  url = {https://arxiv.org/abs/1512.01416},
  note = {Source identifier: 1512.01416}
}