Control Structures in Programming Languages

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

Control structures

Compiling Functional Languages (2002) [pdf]