Data refinement refined (1986)

by J He, C A R Hoare, J W Sanders
Venue:In ESOP’86