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