Ordered algebraic structures (Kluwer Acad. Publ., 1993)