[1] B. Banaschewski: 
Another look at the localic Tychonoff theorem. Comm. Math. Univ. Carolinae 29 (1988), 647-656. 
MR 0982782 | 
Zbl 0667.54009[2] R. Beuzer D. S. Macnab: 
Modal extensions of Heyting algebras. Colloq. Math. 41 (1979), 1-12. 
MR 0550622[4] A. Joyal M. Tierney: 
An extension of the Galois theory of Grothendieck. Amer. Math. Soc. Memoirs 319. American Mathematical Society 1984. 
MR 0756176[5] A. M. Pitts: 
Amalgamation and interpolation in the category of Heyting algebras. J. Pure Appl. Algebra 29 (1983), 155-165. 
MR 0707618 | 
Zbl 0517.18004