@InProceedings{norrish:tphols2007,
  author =       {Michael Norrish and Ren\'e Vestergaard},
  title =        {Proof Pearl: de~Bruijn Terms Really Do Work},
  booktitle =	 {Theorem Proving in Higher Order Logics, 20th
                  International Conference},
  year =	 2007,
  editor =	 {Klaus Schneider and Jens Brandt},
  series =	 {Lecture Notes in Computer Science},
  publisher =	 {Springer},
  volume =       4732,
  pages =        {207--222}
}