Cauchy completions of nearness frames. - Sung Sa Hong; Young Kyoung Kim (Appl. Categorical Struct., 1995)