Planning by mathematics - PHIL (NY NY, Pitman, 1973)