A Formalization of Metaprogramming for real. - Giorgio Levi; Davide Ramundo (ICLP, 1993)