@article{CMUC_1985__26_3_a14,
     author = {K\v{r}{\'\i}\v{z}, Igor},
     title = {A constructive proof of the {Tychonoff's} theorem for locales},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {619--630},
     publisher = {mathdoc},
     volume = {26},
     number = {3},
     year = {1985},
     mrnumber = {817832},
     zbl = {0661.54027},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1985__26_3_a14/}
}