Modern compiler implementation in C - Appel, Andrew W. (CUP, 2000)