1. Department of Computing Report;S. Abramsky,1990
2. B. BANASCHEWSKI “Another look at the Localic Tychonoff Theorem”, pp. 647–656 in Commentationes Mathematicae Universitatis Carolinae 29(4), Charles University, Prague, 1988.
3. N. BOURBAKI Éléments de Mathématique: Algèbre, Hermann, Paris, 1970.
4. T. COQUAND “An intuitionistic proof of Tychonoff's theorem”, preprint (1990).
5. M. COSTE “Localization, spectra and sheaf representation”, pp. 212–238 in M.P.Fourman, C.J.Murvey and D.S.Scott (eds) Applications of Sheaves, Springer Lecture Notes in Mathematics 753, 1979.