Stav dette: Operations research: an introduction