Warner S. Residual fields in valuation theory. Math. Scand. 1985;56:203-221. doi:10.7146/math.scand.a-12097