The following
have made material available related to the book
The Semantics of Programming Languages: an Elementary
Introduction using Structural Operational Semantics
by Matthew Hennessy
(Wiley, 1990)