@phdthesis{Coutts2010PhD,
  author = {Duncan Coutts},
  title = {Stream Fusion: Practical shortcut fusion for coinductive sequence types},
  school = {University of Oxford},
  year = 2010
}

@inproceedings{CouttsLeshchinskiyStewart2007ICFP,
  author = {Duncan Coutts and Roman Leshchinskiy and Don Stewart},
  title = {Stream Fusion: From Lists to Streams to Nothing at All},
  booktitle = {Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming (ICFP 2007)},
  year = {2007},
  pages = {315--326},
  doi = {10.1145/1291151.1291199},
  publisher = {ACM},
}

@inproceedings{FarmerHoenerGill2014PEPM,
  author = {Andrew Farmer and H{\"o}ner zu Siederdissen, Christian and Andy Gill},
  title = {The {HERMIT} in the Stream},
  booktitle = {Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation (PEPM 2014)},
  year = {2014},
  pages = {97--108},
  doi = {10.1145/2543728.2543736},
  publisher = {ACM},
}

@inproceedings{LochbihlerHoelzl2014ITP,
  author = {Andreas Lochbihler and Johannes H{\"o}lzl},
  title = {Recursive Functions on Lazy Lists via Domains and Topologies},
  editor = {Gerwin Klein and Ruben Gamboa},
  bookttitle = {Interactive Theorem Proving (ITP 2014)},
  pages = {341--357},
  series = {LNCS (LNAI)},
  volume = 8558,
  year = 2014,
  publisher = {Springer},
}

@article{Huffman2009AFP,
  author  = {Brian Huffman},
  title   = {Stream Fusion},
  journal = {Archive of Formal Proofs},
  year    = 2009,
  note    = {\url{http://isa-afp.org/entries/Stream-Fusion.shtml},
            Formal proof development},
  ISSN    = {2150-914x},
}