On the Construction of Programs 1980