@article{DBLP:journals/jfp/Bird01,
  author = "Richard S. Bird",
  doi = "10.1017/S0956796801003914",
  journal = "Journal of Functional Programming",
  number = "3",
  pages = "347-358",
  title = "Unfolding Pointer Algorithms",
  url = "http://www.comlab.ox.ac.uk/people/richard.bird/online/Bird2001Unfolding.pdf",
  volume = "11",
  year = "2001",
}