A structural approach to operational semantics (2004)

by G D Plotkin
Venue:J. Log. Algebr. Program