@article{berger_tratt__program_logics_for_homogeneous_generative_run_time_meta_programming,
    author    = {Martin Berger and Laurence Tratt},
    title     = {Program Logics for Homogeneous Generative Run-Time Meta-Programming},
    journal   = {Logical Methods in Computer Science},
    year      = {2015},
    month     = Mar,
    volume    = {11},
    number    = {1:5},
    doi       = {10.2168/LMCS-11(1:5)2015},
    url       = {http://dx.doi.org/10.2168/LMCS-11(1:5)2015},
}