G.: Towards a mathematical operational semantics (1997)

by D Turi, Plotkin
Venue:In: Proc. LICS’97