[1] Močkoř J.: The completion of Prufer domains. Proc. A. M. S. 67 (1977), 1-10. MR 0453727

[2] Močkoř J.: Topolofical groups of divisibility. Colloq. Math. XXXIX (1978), 301-311. MR 0522372

[3] Močkoř J.: The completion of valued fields and nonstandard models. Com. Math. Univ. St. Pauli 30 (1981), 1-16. MR 0623794 | Zbl 0476.12020

[4] Mott J. L., Schexnayder M.: Exact sequences of semi-value groups. J. reine angew. Math. 283/284 (1976), 388-401. MR 0404247 | Zbl 0347.13001

[5] Robinson A.: Nonstandard Analysis. North Holland, Amsterdam 1966. MR 0205854

[6] Šmarda B.: Topologies in l-groups. Arch. Math. (Brno) 3 (1967), 69-81. MR 0223283

[7] Zakon E.: A new variant of non-standard analysis. Victoria Sympos. Non-standard Analysis Lecture Notes Mathematics 369 (1974). MR 0476500 | Zbl 0289.02041