A Model for Programming Language Semantics
C. A. R. Hoare
Month
dec
Note
Typed manuscript‚ early draft of ECS[65]
Year
1975
C. A. R. Hoare