Design and optimization of compilers - Rustin, Randall (Prentice-Hall, 1972)