The origins of structural operational semantics (2004)

by G D Plotkin
Venue:Journal of Logic and Algebraic Programming