The semantics of programming languages : an elementary introduction using structural operational semantics - Hennessy, Matthew (John Wiley & Sons, 1990)