1. Fuchs, L.: Partially ordered algebraic systems, Pergamon, 1963.
2. Kokorin, A.I., and Kopytov, V.M.: Fully ordered groups, Halstad, 1974. (Translated from the Russian.)
3. Kopytov, V.M., and Medvedev, N.Ya.: The theory of lattice-ordered groups, Kluwer Acad. Publ., 1994. (Translated from the Russian.)
4. Mura, R.T.B., and Rhemtulla, A.H.: Orderable groups, M. Dekker, 1977.
5. Collins, G.E.: ‘Quantifier elimination for real closed fields by cylindrical algebraic decomposition, automata theory and formal language’: 2nd G.I. Conference Kaiserslautern, Springer, 1975, pp. 134–183.