Program construction consists of a sequence of refinement steps.

Program construction consists of a sequence of refinement steps.

程序构造由一系列细化步骤组成。

-- Niklaus Emil Wirth 尼古拉斯·埃米尔·沃思