An algorithmic approach to large scale problem solving. - L. M. Popovic (1977)