Skip to main content

A Notation for the Specification of Computer Programs

C. A. R. Hoare

Month
oct
Note
Handwritten manuscript
Year
1976