The origins of structural operational semantics (2004)

by G D Plotkin
Venue:Journal of Logic and Algebraic Programming (JLAP) 60–61