@inproceedings{Hin09Sca,
  title = "Scans and Convolutions---A Calculational Proof of {Moessner's} Theorem",
  author = "Hinze, Ralf",
  year = "2009",
  affiliation = "University of Oxford, Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, England",
  booktitle = "Post-proceedings of the 20th International Symposium on the Implementation and Application of Functional Languages (IFL '08)",
  editor = "Scholz, Sven-Bodo",
  location = "University of Hertfordshire, UK",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "5836",
}