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