There is also Kelsey's 1989 popl paper, which explains the idea of compilation as program transformation very clearly. Kelsey and Hudak "Realistic Compilation

There is also Kelsey's 1989 popl paper, which explains the idea of compilation as program transformation very clearly. Kelsey and Hudak "Realistic Compilation by Program Transformation" POPL 1989