Skip to main content

Data Refinement in a Categorical Setting

C. A. R. Hoare

Month
jun
Note
Typed manuscript
Year
1987