Books on programming language semantics Posted by Jay, at cstheory.stackexchange.com, 04 Dec 2010 I've been reading Nielson