Programming language pragmatics - Michael .l.Scott (Morgan Kaufmann, 2004)