Program development by stepwise refinement (1971)

by N Wirth
Venue:Comm ACM