Reinhold Heckmann A Cartesian closed extension of the category of locales. 231-253 2006 16 Mathematical Structures in Computer Science 2 http://dx.doi.org/10.1017/S0960129506005135 db/journals/mscs/mscs16.html#Heckmann06