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