@misc {IOPORT.70524860,
    author       = {Capretta, Venanzio and Felty, Amy P.},
    title        = {Combining de Bruijn indices and higher-order abstract syntax in coq},
    howpublished = {TYPES, 63-77 (2006).},
    year         = {2006},
    doi          = {10.1007/978-3-540-74464-1_5},
    identifier   = {70524860},
}