Stav dette: Foundations of analysis in operations research /