@inproceedings{BirddeMoor93:From,
  title = "From Dynamic Programming to Greedy Algorithms",
  author = "Richard S. Bird and Oege de Moor",
  year = "1993",
  booktitle = "IFIP TC2/WG2.1 State-of-the-Art Report on Formal Program Development",
  editor = "Bernhard M{\"o}ller and Helmut Partsch and Steve Schumann",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  url = "http://www.cs.ox.ac.uk/people/richard.bird/online/BirdDeMoor93From.pdf",
  volume = "755",
  doi = "10.1007/3-540-57499-9_16",
}