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