Stav dette: Operations research; implications for libraries;