Fundamentals of programming languages - Horowitz, Ellis 1944- (Springer, 1984)