Program Development by Stepwise Refinement (1971)

Here's a PDF version on the author's site: http://www.inf.ethz.ch/personal/wirth/Articles/StepwiseRefin...