Author: Nonarchimedean Functional Analysis -Springer (2002)