The Semantics of Programming Languages: an Elementary Introduction using Structural Operational Semantics (1990)

by Matthew Hennessy