Programming language pragmatics - Scott, Michael Lee, 1959- (Elsevier/Morgan Kaufmann Pub., 2009)