Linear and combinatorial optimization in ordered algebraic structures - Zimmermann U (1981)