Skip to main content

Unified Theories of Programming

C. A. R. Hoare

Month
July 21
Note
LaTeXed manuscript
Year
1994