Warner, S. (1985). Residual fields in valuation theory. Mathematica Scandinavica, 56, 203-221. https://doi.org/10.7146/math.scand.a-12097