Ordered algebraic structures: Nanjing - Holland, W. Charles (Algebra, logic and applications,, 2001)