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