Correctness preserving program refinements : proof theory and applications - Back, R. J. R. (Mathematical Centre tracts, 1980)