@incollection{aop-marktoberdorf,
  title = "The Algebra of Programming",
  author = "Richard Bird and Oege de Moor",
  year = "1994",
  booktitle = "Proceedings of the NATO Advanced Study Institute on Deductive Program Design",
  editor = "Manfred Broy",
  isbn = "3-540-60947-4",
  pages = "167-203",
  publisher = "Springer-Verlag",
  series = "NATO ASI series F",
  url = "http://dl.acm.org/citation.cfm?id=256116",
}