Ordered groups
scientific article; zbMATH DE number 3821814
scientific article