Modern Compiler Design - Grune, Dick; van Reeuwijk, Kees; Bal, Henri E.; Jacobs, Ceriel J. H.; Langendoen, Koen (Dordrecht Springer New York, 2012)