@book{Backhouse*2002:Algebraic,
  title = "Algebraic and Coalgebraic Methods in the Mathematics of Program Construction",
  author = "Roland Backhouse and Roy Crole and Jeremy Gibbons",
  year = "2002",
  booktitle = "Algebraic and Coalgebraic Methods in the Mathematics of Program Construction",
  editor = "Roland Backhouse and Roy Crole and Jeremy Gibbons",
  isbn = "3540436138",
  issn = "0302-9743",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/acmmpc-toc.pdf",
  volume = "2297",
}