Complete metric space/Bibliography