Hoare, C., Hayes, I., He, J., Morgan, C., Sanders, J., Sorensen, I., . . . Sufrin, B. (1985). Data Refinement Refined.

Hoare, C., I. Hayes, J. He, C. Morgan, J. Sanders, I. Sorensen, J. Spivey, and B. Sufrin. Data Refinement Refined. 1985.

Hoare, C., et al. Data Refinement Refined. 1985.