Data Refinement Refined: Resume - He, J; Hoare, C; Sanders, J (1986)