Non-Archimedean functional analysis - Rooij, Arnoud C. M. van 1936- (Dekker, 1978)