@inproceedings{Hin04Sca,
  title = "An algebra of scans",
  author = "Hinze, Ralf",
  year = "2004",
  booktitle = "Proceedings of the Seventh International Conference on Mathematics of Program Construction (MPC 2004), Stirling, Scotland,
UK, July 12--14, 2004",
  editor = "Kozen, Dexter",
  month = "jul",
  publisher = "Springer",
  series = "LNCS",
  volume = "3125",
}