The semantics of programming languages an elementary introduction using structural operational semantics - Hennessy, Matthew (Wiley, 1990)
Nebent.: Programming languages