Program development by successive refinement (1971)

by N Wirth
Venue:Communications ACM