Modern compiler design (Wiley, 2004)