Programming language pragmatics - Scott, Michael L. (Morgan Kaufmann Publishers : Elsevier, 2006)