bibliographic details : Introduction to operations research /