@misc{Sabel2017,
  author    = {David Sabel},
  title     = {Alpha-renaming of higher-order meta-expressions},
  booktitle = {Frankfurter Informatik-Berichte [; Nr. 2007,2]},
  issn      = {1868-8330},
  institution = {Informatik},
  series    = {Frankfurter Informatik-Berichte},
  number    = {[2017, 2]},
  type      = {workingpaper},
  pages     = {18},
  year        = {2017},
}