@STRING{cj="The Computer Journal"}
@STRING{entcs="Electronic Notes on Theoretical Computer Science"}
@STRING{fmsd="Formal Methods in System Design"}
@STRING{fi="Fundamenta Informaticae"}
@STRING{iac="Information and Computation"}
@STRING{ipl="Information Processing Letters"}
@STRING{jcs="Journal of Computer Security"}
@STRING{jfp="Journal of Functional Programming"}
@STRING{jlc="Journal of Logic and Computation"}
@STRING{jsa="Journal of Systems Architecture"}
@STRING{jucs="Journal of Universal Computing Science"}
@STRING{hosc="Higher-Order and Symbolic Computation"}
@STRING{lncs="LNCS"}
@STRING{mpc="Mathematics of Program Construction"}
@STRING{mscs="Mathematical Structures in Computer Science"}
@STRING{sttt="International Journal on Software Tools for Technology Transfer"}
@STRING{todaes="ACM Transactions on Design Automation of Electronic Systems"}
@STRING{tocl="ACM Transactions on Computational Logic"}

@inproceedings{BackhouseFerreira2008MPC,
  author = {Roland Backhouse and Jo{\~a}o F. Ferreira},
  title = {Recounting the Rationals: Twice!},
  editor = {Philippe Audebaud and Christine Paulin-Mohring},
  booktitle = {Mathematics of Program Construction (MPC 2008)},
  series = {LNCS},
  year = {2008},
  volume = {5133},
  doi = {10.1007/978-3-540-70594-9_6},
  publisher = {Springer},
  pages = {79--91},
}

%  isbn      = {978-3-540-70593-2},
@proceedings{DBLP:conf/mpc/2008,
  editor    = {P. Audebaud and C. Paulin-Mohring},
  title     = {Mathematics of Program Construction, 9th International Conference,
               MPC 2008, Marseille, France, July 15-18, 2008. Proceedings},
  booktitle = mpc,
  publisher = {Springer},
  series    = lncs,
  volume    = {5133},
  year      = {2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{Hinze2009JFP,
  author = {Ralf Hinze},
  title = {The {Bird} Tree},
  journal = {Journal of Functional Programming},
  volume = {19},
  number = {5},
  year = {2009},
  pages = {491--508},
  doi = {10.1017/S0956796809990116},
}

@article{DBLP:journals/jfp/Hinze08,
  author    = {Ralf Hinze},
  title     = {Concrete stream calculus: An extended study},
  journal   = jfp,
  volume    = {20},
  number    = {5-6},
  year      = {2008},
  pages     = {463-535},
  ee        = {https://doi.org/10.1017/S0956796810000213},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

%  isbn      = {978-0-201-55802-9},
@book{GrahamKnuthPatashnik1994CM,
  author    = {R. L. Graham and
               D. E. Knuth and
               O. Patashnik},
  title     = {Concrete Mathematics--a Foundation for Computer Science},
  publisher = {Addison-Wesley},
  edition   = "2nd",
  year      = {1994},
}

@article{McBridePaterson2008JFP,
  author = {Conor McBride and Ross Paterson},
  title = {Applicative Programming with Effects},
  journal = {Journal of Functional Programming},
  volume = {18},
  number = {1},
  year = {2008},
  pages = {1--13},
  doi = {10.1017/S0956796807006326},
} 

@inproceedings{Bird2006MPC,
  author = {Richard S. Bird},
  title = {Loopless Functional Algorithms},
  editor = {Tarmo, Uustalu},
  booktitle = {Mathematics of Program Construction},
  year = 2006,
  volume={4014},
  series = {LNCS},
  doi = {10.1007/11783596_9},
  publisher = {Springer},
  pages = {90--114},
}

@incollection{Dijkstra1982EWD578,
  author = {Edsger W. Dijkstra},
  title = {More About the Function ``fusc'' (A Sequel to {EWD570})},
  booktitle = {Selected Writings on Computing: A personal Perspective},
  series = {Texts and Monographs in Computer Science},
  year = {1982},
  doi = {10.1007/978-1-4612-5695-3_41},
  publisher = {Springer},
  pages = {230--232},
}

@incollection{Dijkstra1982EWD570,
  author = {Edsger W. Dijkstra},
  title = {An Exercise for {Dr. R. M. Burstall}},
  booktitle = {Selected Writings on Computing: A personal Perspective},
  series = {Texts and Monographs in Computer Science},
  year = {1982},
  doi = {10.1007/978-1-4612-5695-3_36},
  publisher = {Springer},
  pages = {215--216},
}

@misc{Hinze2010Lifting,
  author = {Ralf Hinze},
  title = {Lifting Operators and Laws},
  howpublished = {\url{http://www.cs.ox.ac.uk/ralf.hinze/Lifting.pdf}},
  year = {2010},
}