@InProceedings{Pientka:POPL08,
    author = "Brigitte Pientka",
    title = "A type-theoretic foundation for programming with higher-order
             abstract syntax and first-class substitutions",
    booktitle = "35th Annual {ACM} Symposium on Principles of Programming Languages (POPL'08)",
    publisher = "ACM",
    pages = "371--382",
    year = "2008"
}