Staum, 1974. The algebra of bounded continuous functions into a nonarchimedean field 50.. https://doi.org/10.2140/pjm.1974.50.169