Programming language pragmatics - Scott, Michael L (Morgan Kaufmann, San Francisco, 2000)