@misc{indiciae87421a2b6d88,
  title = {Capture-Avoiding and Hygienic Program Transformations (incl. Proofs)},
  author = {Sebastian Erdweg and Tijs van der Storm and Yi Dai},
  year = {2014},
  url = {https://arxiv.org/abs/1404.5770},
  note = {Source identifier: 1404.5770}
}