Executive decisions and operations research (Prentice-Hall international series in management)