@misc{indiciae99ecab2540ee,
  title = {Lost in Abstraction: Monotonicity in Multi-Threaded Programs (Extended Technical Report)},
  author = {Alexander Kaiser and Daniel Kroening and Thomas Wahl},
  year = {2014},
  url = {https://arxiv.org/abs/1406.5715},
  note = {Source identifier: 1406.5715}
}