Compiler design analysis and transformation - Seidl, Helmut; Wilhelm, Reinhard 1946-; Hack, Sebastian (Springer, 2012)