G. E. Reyes and H. Zolfaghari (1991). Topos-theoretic approaches to modality.
LNM Springer-Verlag 1488. 359-378.