Relating Operational and Denotational Semantics for Input/Output Effects (1999)

by R L Crole, A D Gordon
Venue:Mathematical Structures in Computer Science