P-adic functional analysis - Katsaras, AK (Dekker, 2001)