A Theory of Programming: Denotational‚ Algebraic‚ and Operational Semantics
C. A. R. Hoare
Month
March 31
Note
LaTeXed manuscript
Year
1993
C. A. R. Hoare