Xavier Leroy's new book on Control Structures in Programming

Control Structures in Programming Languages

CompCert: a formally verified compiler back-end (2009)

Control structures

Compiling Functional Languages (2002) [pdf]