The Katětov dimension of proximity spaces. - H. L. Bentley; Miroslav Husek; R. G. Ori (Appl. Categorical Struct., 1996)