@inproceedings{Gibbons2004:Streaming,
  title = "Streaming Representation-Changers",
  author = "Jeremy Gibbons",
  year = "2004",
  booktitle = "Mathematics of Program Construction",
  editor = "Dexter Kozen",
  month = "jul",
  note = "\url{http://www.springerlink.com/index/LHQ73WU5GU686976}",
  pages = "142-168",
  series = "Lecture Notes in Computer Science",
  url = "http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/metamorphisms-mpc.pdf",
  volume = "3125",
}