Compilers: principles, technique and tools. - Aho, A. V. (Delhi : Pearson education pvt. Ltd., 2005)
Include index.
Keywords: Type checking