Programming Languages - W.Pratt Terrence (The IMT Press, 2002)