@inproceedings{DBLP:journals/corr/Lester15,
  title = "Control Flow Analysis for {SF} Combinator Calculus",
  author = "Martin Lester",
  year = "2015",
  booktitle = "Proceedings of the Third International Workshop on Verification and Program Transformation, VPT@ETAPS 2015, London, United Kingdom, 11th April 2015.",
  editor = "Alexei Lisitsa and Andrei P. Nemytykh and Alberto Pettorossi",
  pages = "51--67",
  series = "{EPTCS}",
  url = "https://doi.org/10.4204/EPTCS.199.4",
  volume = "199",
  doi = "10.4204/EPTCS.199.4",
}