@inproceedings{paper15,
  title = "{The Lazy {\lambda}-Calculus}",
  author = "S. Abramsky",
  year = "1990",
  booktitle = "Research Topics in Functional Programming",
  editor = "D. Turner",
  pages = "65-117",
  publisher = "Addison Wesley",
}