The Rudiments of Algorithm Refinement
Jim Woodcock · The Computer Journal · 1992
We describe the rudiments of algorithm refinement: the business of taking a specification and producing code that correctly implements it. The paper starts with a general discussion of the concepts, and then turns to a particular calculus for algorithm refinement.