Πραγματολογία των γλωσσών προγραμματισμού - Scott, Michael Lee, 1959- (Κλειδάριθμος, 2009)