Modern compiler implementation in C - Andrew W. Appel (Cambridge, 1997)