@inproceedings{DBLP:conf/mpc/Bird08,
  author = "Richard S. Bird",
  booktitle = "Mathematics of Program Construction",
  doi = "10.1007/978-3-540-70594-9_7",
  editor = "Philippe Audebaud and Christine Paulin-Mohring",
  isbn = "978-3-540-70593-2",
  pages = "92-109",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  title = "Zippy Tabulations of Recursive Functions",
  volume = "5133",
  year = "2008",
}