Programming languages design and implementation - Pratt, Terrence 1940- (Prentice-Hall, 1984)