The compiler design handbook : Optimizations and machine code generation - Srikant, Y.N (CRC Press, 2003)