Programming language pragmatics (a companied by CD - Scott, Michael L. (Morgan Kaufmann, 2006)