Program Development by Stepwise Refinement (1971)
sunnyday.mit.edu
sunnyday.mit.edu
The full list of readings for the course is interesting as well.
EDIT: Double checked the date of the original article, it was 1971. Right in the middle of the Structured Programming push by Dijkstra and others (who is cited in the article).