The course focuses on a single book:
Principles Of Program Analysis
Nielson, Nielson and Hankin
The chapter Abstract Interpretation: a Semantics-Based Tool for Program Analysis
Neil D. Jones and Flemming Nielson
In "Handbook of Logic in Computer Science". Oxford University Press. 1994 pages 527-629.
The chapter gives a good intuition about Abstract Interpretation.[Download]
Abstract Interpretation: A Theory Of Approximate Computation
In SAS '97 proceedings LNCS 1302, pages 367-378.
Semantics with Applications: a Formal Introduction
H.R. Nielson and F. Nielson
This book contains material on semantics and refers to the same WHILE language as in the book by Nielson, Nielson and Hankin. [Download]
Of course, there is also plenty of information available on the Web. Check out the links page.