Non-archimedean functional analysis. - Rooij A C M Van (1978)