The α -completion of a lattice ordered group Richard N. Ball; Gary Davis — 1983 Czechoslovak Mathematical Journal