Skip to main content

Hoare's Formulation of Jones' Calculus for Programming

C. A. R. Hoare

Note
Typed manuscript‚ undated
Year
1982?