新しい順
Hanne Riis Nielson and Flemming Nielson
Semantics with Applications: An Appetizer
Carl A. Gunter
Semantics of Programming Languages: Structures and Techniques
L. Allison
A Practical Introduction to Denotational Semantics

お勧めはGunter→Nielsonの順で読むこと。