Production/operations management by William J. Stevenson