Programming language pragmatics - Scott, Michael Lee (Morgan Kaufmann Pub., 2006)