Kock A. and G. E. Reyes (1994). Relatively Boolean and de Morgan toposes and
locales. Cahiers de Top. et Geom. diff. categ. vol. xxxv-3, 249-261.