@article{BirdPaterson99:deBruijn,
  title = "de~{B}ruijn Notation as a Nested Datatype",
  author = "Richard S. Bird and Ross Paterson",
  year = "1999",
  journal = "Journal of Functional Programming",
  number = "1",
  pages = "77--91",
  url = "http://www.cs.ox.ac.uk/people/richard.bird/online/BirdPaterson99DeBruijn.pdf",
  volume = "9",
  doi = "10.1017/S0956796899003366",
}