@article{Hin10Con,
  title = "Concrete Stream Calculus---An extended study",
  author = "Hinze, Ralf",
  year = "2011",
  journal = "JFP",
  number = "5-6",
  pages = "463–535",
  volume = "20",
  doi = "10.1017/S0956796810000213",
}