Prespecification in Data Refinement
C.A.R. Hoare‚ Jifeng He and J.W. Sanders
Journal
Information Processing Letters
Month
May
Number
2
Pages
71–76
Volume
25
Year
1987
C.A.R. Hoare‚ Jifeng He and J.W. Sanders