Compilers and Staging Transformations. - Ulrik Jørring; William L. Scherlis (POPL, 1986)