Modern compiler design - Galles, David (Pearson Education, 2012)