@misc{indiciae76d3be995892,
  title = {Transforming while/do/for/foreach-Loops into Recursive Methods},
  author = {David Insa and Josep Silva},
  year = {2014},
  url = {https://arxiv.org/abs/1410.4956},
  note = {Source identifier: 1410.4956}
}