Relatively boolean and De Morgan toposes and locales Anders Kock, Gonzalo E. Reyes (1994) Cahiers de Topologie et Géométrie Différentielle Catégoriques
Relevant Categories and Partial Functions Kosta Došen, Zoran Petrić (2007) Publications de l'Institut Mathématique