Topics in functional analysis over valued division rings. - Prolla J B (1982)