@book{BirddeMoor96:Algebra,
  title = "The Algebra of Programming",
  author = "Richard Bird and Oege de Moor",
  year = "1996",
  publisher = "Prentice-Hall",
  url = "http://www.cs.ox.ac.uk/publications/books/algebra/",
}