Saarimäki, M.; Sorjonen, P. Valued Groups. Math. Scand. 1992, 70, 265-280. https://doi.org/10.7146/math.scand.a-12401.