Data Refinement Refined
C. A. R. Hoare‚ I. J. Hayes‚ Jifeng He‚ C. C. Morgan‚ J. W. Sanders‚ I. H. Sorensen‚ J. M. Spivey and B. A. Sufrin
Month
may
Note
Typed manuscript‚ ECS[97]
Year
1985
C. A. R. Hoare‚ I. J. Hayes‚ Jifeng He‚ C. C. Morgan‚ J. W. Sanders‚ I. H. Sorensen‚ J. M. Spivey and B. A. Sufrin