Fundamentals of Programming Languages - Horowitz, Ellis (Galgotia Publications, 2008)