@misc{indiciaec6e412f5fa3c,
  title = {On the correctness of a branch displacement algorithm},
  author = {Jaap Boender and Claudio Sacerdoti Coen},
  year = {2012},
  url = {https://arxiv.org/abs/1209.5920},
  note = {Source identifier: 1209.5920}
}