@misc{indiciae27e6e16de42f,
  title = {Reducing Opacity to Linearizability: A Sound and Complete Method},
  author = {Alasdair Armstrong and Brijesh Dongol and Simon Doherty},
  year = {2016},
  url = {https://arxiv.org/abs/1610.01004},
  note = {Source identifier: 1610.01004}
}