Title: Industrial scheduling, (Prentice-Hall international series in management)