A Theory and Practice of Program Development