An Algebraic Theory of Order

ESAIM: Mathematical Modelling and Numerical Analysis - France
doi 10.1051/m2an/2009029