Ordered algebraic structures (Dekker, 1985)