Nonuniqueness of immediate maximal extensions of a valuation. Seth Warner (1985) Mathematica Scandinavica