Fundamentals of programming languages - Horowitz, Ellis (Galgotia, 1998)