Spectral theory and analytic geometry over non-Archimedean fields (Providence, R.I. : American Mathematical Society, 1990)