@article{10_4153_CJM_1989_038_0,
     author = {Banaschewski, B. and Pultr, A.},
     title = {Cauchy {Points} of {Metric} {Locales}},
     journal = {Canadian journal of mathematics},
     pages = {830--854},
     year = {1989},
     volume = {41},
     number = {5},
     doi = {10.4153/CJM-1989-038-0},
     url = {http://geodesic.mathdoc.fr/articles/10.4153/CJM-1989-038-0/}
}