Formal Semantics of Programming Languages
Looking at the operational semantics course at my University gives the following three:


Andrew Pitts's lecture notes
Gordon Plotkin's Aarhus notes on structural operational semantics
Matthew Hennessey's The Semantics of Programming Languages


Ohad.