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