Generalized Dedekind completion of a lattice ordered group Ján Jakubík (1978) Czechoslovak Mathematical Journal