From Operational to Denotational Semantics (1989)

by Scott Smith
Venue:In MFPS 1991