Herman, Meunier, 2004. Improving the static analysis of embedded languages via partial evaluation, in: . ACM Press.. https://doi.org/10.1145/1016850.1016857