The semantics of programming languages: an elementary introduction using structural operational semantics (1990)

by Matthew Hennessy