The Coverage of Operational Semantics (1998)

by S F Smith
Venue:Higher Order Operational Techniques in Semantics, Publications of the Newton Institute