@inproceedings{peea,
  title = "From Push/Enter to Eval/Apply by Program Transformation",
  author = "Maciej Piróg and Jeremy Gibbons",
  year = "2016",
  booktitle = "Proceedings of the Workshop on Continuations",
  editor = "Olivier Danvy and Ugo de'Liguoro",
  month = "June",
  pages = "53-62",
  series = "Electronic Proceedings in Theoretical Computer Science",
  url = "http://www.cs.ox.ac.uk/jeremy.gibbons/publications/peea.pdf",
  volume = "212",
  doi = "10.4204/EPTCS.212.4",
}