@inproceedings{Norrish_Vestergaard_07,
    address          = {Kaiserslautern},
    author           = {Norrish, Michael and Vestergaard, Ren\'e},
    booktitle        = {International Conference on Theorem Proving in Higher Order Logics},
    editor           = {{Klaus Schneider and Jens Brandt}},
    keywords         = {lambda-calculus theorem-proving},
    month            = sep,
    pages            = {207--222},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/594.pdf},
    publisher        = {Springer},
    series           = {Lecture Notes in Computer Science},
    title            = {Proof Pearl: de Bruijn Terms Really Do Work},
    volume           = {4732},
    year             = {2007}
  }