Hennessy, M The semantics of programming languages: An elementary introduction using structural operational semantics - Chinchester John Wiley & Sons 1990 - xii, 157p. ISBN: 978-0-471-92772-3