@article{Bird*89:KMP,
  title = "Formal Derivation of a Pattern Matching Algorithm",
  author = "Richard S. Bird and Jeremy Gibbons and Geraint Jones",
  year = "1989",
  journal = "Science of Computer Programming",
  month = "jul",
  number = "2",
  pages = "93--104",
  volume = "12",
  doi = "10.1016/0167-6423(89)90036-1",
}