@inproceedings{crm,
  title = "The coinductive resumption monad",
  author = "Maciej Piróg and Jeremy Gibbons",
  year = "2014",
  journal = "Electronic Notes in Theoretical Computer Science",
  note = "Proceedings of the Thirtieth Conference on the Mathematical Foundations of Programming Semantics, {MFPS} XXX",
  pages = "273--288",
  volume = "308",
  doi = "10.1016/j.entcs.2014.10.015",
}