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