Proximity spaces with applications to compactifications - Mai, Robert W (Kansas State University, 1969)