Industrial scheduling (Prentice-Hall, 1963)