Towards a Mathematical Operational Semantics (1997)

by Daniele Turi, Gordon Plotkin
Venue:In Proc. 12 th LICS Conf