@misc{indiciae0a67c8e9a517,
  title = {Representations of Stream Processors Using Nested Fixed Points},
  author = {Neil Ghani and Peter Hancock and Dirk Pattinson},
  year = {2009},
  doi = {10.2168/lmcs-5(3:9)2009},
  url = {https://arxiv.org/abs/0905.4813},
  note = {Source identifier: 0905.4813}
}