The semantics of programming languages : an elementary introduction using structural operational semantics /
Hennessy, Matthew.
Chichester : Wiley & Sons,
1990.
Includes index