Lecture notes (PDF) (Postscript)

References

1. Theories of Programming Languages, J. C. Reynolds, Cambridge University Press, ISBN 0-521-59414-6.
2. The Formal Semantics of Programming Languages: An Introduction, G. Winskel, MIT Press, ISBN 0-262-23169-7.