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