Cover of Programming language pragmatics on the Open Library. a good theory companion for language design.
