1. E.W. Dijkstra A Discipline of Programming, Prentice-Hall, Englewood Cliffs, N.J., 1976.
2. H3MS4 Data Refinement Refined, Draft 1, PRG preprint, May, 1985.
3. He, Jifeng, C.A.R. Hoare and J.W. Sanders Data Refinement Refined, to appear.
4. C.A.R. Hoare Proof of correctness of data representations, Acta Informatica, 1, 271–281, 1972.
5. C.A.R. Hoare and He, Jifeng The weakest prespecification, Technical Monograph, PRG-44, June, 1985.