Torben Ægidius Mogensen's "Basics of Compiler Design, Chapter 11: Analysis and Optimisation"

Read Chapter 11 through section 11.1.