Program construction consists of a sequence of refinement steps.

Author Details

Author Name: