From operational to denotational semantics (1992)

by S F Smith
Venue:In 7th International Conference MFPS, LNCS 598