The Semantics of Programming Languages: An Elementary Introduction using Structured Operational Semantics (1990)

by M Hennessy