The origins of structural operational semantics (2004)

by Gordon D. Plotkin
Venue:Journal of Logic and Algebraic Programming