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