Precovers, Modalities and Universal Closure Operators in a Topos. - John L. Bell; Silvia Gebellato (Math. Log. Q., 1996)

A Preview of the Basic Picture: A New Perspective on Formal Topology. - Giovanni Sambin; Silvia Gebellato (TYPES, 1998)