Elementary theory of metric spaces - Reisel, Robert B (1982)