Programming Languages and Systems - Sestoft Peter (Germany Springer- Verlag Berlin Heidelberg, 2006)
includes Index and Lecture Notes in Computer Science