Towards a mathematical operational semantics (1997)

by Daniele Turi, Gordon D Plotkin
Venue:In LICS